 Ẹkọ 1: Nígbà tí àyè kan bá ní ìyípo Gaussian tí kò yípadà, nígbà náà ó jẹ àyè tí a lè ṣe àtúnṣe sí àti wípé geometry àyè náà jẹ Euclidean geometry. Ẹsẹ 2: Bí àwo kan bá ní ìyípadà ìyípadà tí ó wà ní kálukú tí ó jẹ òfo, nígbà náà ó jẹ àwo Euclidean àti wípé geometry àwo náà jẹ geometry Gaussian. Ìbéèrè: Ṣé ohun kan náà ni gbólóhùn 1 àti gbólóhùn 2 túmọ sí? Ṣé Bẹẹ ni àbí Bẹẹ kọ? : Rárá o 