チャーンがガウス・ボンネをどう高次元化したかを
学ぶ必要があったが
結局そこはサボってしまった