talk:>>39 ホモトピー群に対してどうやって次元を考えるのだ?