Gauss–Codazzi equations - Fundamental formulas linking the metric and curvature tensor of a manifold