Gayunpaman , ang Theorema Egregium ni Carl Friedrich Gauss ay nagpapakita na sa mga surpasiyo , ang eksistensiya ng mga lokal na isometriya ay nagtatakda ng malakas ng kompatibilidad na mga kondisyon sa mga metriko nito : ang mga kurbadang Gaussian sa kaakibat na mga punto ay dapat pareho.
