Zinsnede 1: Als een oppervlak een constante, nul ontwikkelbare kromming heeft, is het een Euclidisch oppervlak en de geometrie van het oppervlak is een Gaussiaanse geometrie. Zinsnede 2: Als een oppervlak een constante, nul ontwikkelbare kromming heeft, dan is het een Euclidisch oppervlak en de geometrie van het oppervlak is Gaussiaanse geometrie. Vraag: Hebben zin 1 en zin 2 dezelfde betekenis? Ja of nee?
- Ja, hoor.