基本定理:射影平面的ユークリッド的性質を非ユークリッド幾何学と統合する