Lehen esaldia: Gauss-en kurbadura zeroan dagoenean gainazal bat gainazal garatu bat da eta gainazal horren geometria geometria euklidearra da. 2. esaldia: Gainazal batek zeroan garatu daitekeen kurbadura konstantea badu, gainazal euklidear bat da eta gainazal horren geometria geometria gausiarra da. Lehenengo esaldia eta bigarren esaldia zentzu berean daude? Bai edo ez?
-Ez, ez.