Minding's theorem

Theorem
If two surfaces have the same constant Gaussian curvature then they are locally isometric.
$◼$

Proof
@needham2021visual page 276.
$◼$