Teorema egregium

Summary