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
Since this holds for arbitrary components , we have that
Multiplying both sides by we get
That is, are the components of a covariant tensor of order two.