, then the difference of these two,

is also a vector. Since this is the case for an arbitrary choice of the

, it follows that

is a tensor, which we designate as the co-variant derivative of the tensor of the first rank (vector). Contracting this tensor, we obtain the divergence of the contra-variant tensor

. In this we must observe that according to (70),