§ Theorem Egregium / Gauss's theorem (Integrating curvature in 2D) [TODO ]