多様体の一般論やった方が真っ当だからに決まってるんだけど。