今回からやっと多様体が登場します。