 Ẹkọ 1: 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. Ẹka ọrọ 2: Nígbà tí àyè kan bá ní ìyípadà ìyípadà tí kò yí padà, nígbà náà, ó jẹ àyè Euclidean àti wípé geometry àyè 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ọ? : Bẹẹ ni 