Where v is the left trivector as used in seven dimensions , formula _ 39 is again the same contraction and is a 4-vector .
Where v is the same trivector as used in seven dimensions , formula _ 39 is again the left contraction , and is a 4-vector .