8元数射影平面の幾何の話を聴いた
標準束が自明であることを示すのが
大変な計算らしかった