Setning 1: Ef yfirborð hefur stöðugt núll þróanlegt beygingu, það er Euclidean yfirborð og rúmfræði yfirborðsins er Gaussian rúmfræði. Setning 2: Þegar yfirborð hefur stöðuga núll þróanlega beygingu, þá er það Euclidean yfirborð og rúmfræði yfirborðsins er Gaussian rúmfræði. Spurning: Eru setning 1 og setning 2 sömu merkingar? Já eða nei?
Já, það er.