The second fundamental form comes into play when local isometric embedding is considered, i.e., when is taken as a
submanifold of a larger space such that the metrical relationships are conserved. In the following, all geometrical objects are
supposed to be differentiable as often as is needed.