With the curvature convention , the Gauss equation for a Euclidean embedded submanifold is
The Codazzi equation is
where the derivative uses the Levi-Civita connection on tangent arguments and the normal connection on the value of .
Solved by gpt-5.6-sol high.