 Gauss equation in a curved ambient manifold

For an embedded submanifold of a Riemannian manifold, use $R(v,w)y={\nabla }_v{\nabla }_{w}y-{\nabla }_w{\nabla }_{v}y-{\nabla }_{[v,w]}y$. The Gauss formula and tangential derivative of a normal field giveSubtract the expression with $v,w$ interchanged and the bracket derivative, whose normal part pairs to zero. This proves the displayed curvature identity. For flat Euclidean ambient space, its ambient curvature term vanishes and one obtains the ordinary Gauss equation. Declaring the four-slot convention $R(x,y,v,w)=⟨R(v,w)y,x⟩$ avoids sign ambiguities when permuting arguments.