Lehen esaldia: gainazal batek zeroan garatu daitekeen kurbadura konstantea badu, gainazal euklidear bat da eta gainazal horren geometria geometria gaussiar bat da. 2. esaldia: Gainazal batek zeroan garatu daitekeen kurbadura konstantea duenean gainazal euklidear bat da eta gainazal horren geometria geometria gaussiarra da. Lehenengo esaldia eta bigarren esaldia zentzu berean daude? Bai edo ez?
Bai, oso ondo.