数学セミナーで言及されてた ガウスボンネの定理の証明らしきものが出てくるらしい