Solution
= Solution
Gauss's <Theorema Egregium> expresses Gaussian curvature intrinsically from the first fundamental form, hence $K\circ\phi=K$. Merely preserving curvature level sets is not sufficient: when $K$ is constant, every diffeomorphism does so, though most are not isometries.