of locally convex curves in the sphere — I

b.. Proving second-countability requires the follow- ing facts: for locally Euclidean Hausdorff spaces, paracompactness is equivalent to the property that each connected component