「S^3上の一次元多様体」はわかるが他は?