This is precisely the requirement needed to ensure that the quantity v k e k {\displaystyle v^{k}\mathbf {e} _{k}} is an invariant object that does not depend on the coordinate system chosen. More generally, a tensor of valence (p,q) has p downstairs indices and q upstairs indices, with the transformation law being