 Ẹ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í orí ilẹ kan bá ní ìyípadà ìyípo tí kò yí padà, ó jẹ orí ilẹ Euclidean tí geometry orí ilẹ náà sì 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 