gμσ gντ gστ dxμ dxν

Now according to the rules of multiplication, of the fore-going paragraph, the magnitudes

dξσ = gμσ dxμ

forms a co-variant four-vector, and in fact (on account of the arbitrary choice of dxμ) any arbitrary four-vector.

If we introduce it in our expression, we get

ds² = gστ dξσ dξτ.

For any choice of the vectors dξσ dξτ this is scalar, and gστ, according to its definition is a symmetrical thing in σ and τ, so it follows from the above results, that gστ is a contravariant tensor. Out of (16) it also follows that δνμ is a tensor which we may call the mixed fundamental tensor.

Determinant of the fundamental tensor.

According to the law of multiplication of determinants, we have

| gμα gαν | = | gμα | | gαν |