for all tangent vectors X p and Y p. The mapping S g is a linear transformation from T p M to T p M. It follows from the definition of non-degeneracy that the kernel of S g is reduced to zero, and so by the rank–nullity theorem, S g is a linear isomorphism. Furthermore, S g is a symmetric linear transformation in the sense that