Suppose that with respect to coordinate system we have that , where is a scalar. Now, in coordinate system we have that

Since are the components of a contravariant tensor of order two, we have that

Hence,

Since this holds for arbitrary components , we have that

Multiplying both sides by we get

Hence,

That is, are the components of a covariant tensor of order two.