Page "Gauss–Codazzi equations" not found :(