talk:>>358 全ての多様体とは何なのかを知る上では重要だ。