1. Première et deuxième forme fondamentale. 2. Courbure de Gauss K = κ₁κ₂. 3. Theorema Egregium : K ne dépend que de gᵢⱼ. 4. Conséquence : K est un invariant intrinsèque
K calculable sans plongement. Invariance par isométrie locale