Re:>>695 Sの右上につける数はmanifoldとしての次元にするので,Sは円周でS^2が球面になる.