 This operation coincides with usual addition of vectors, and it gives angular velocity the algebraic structure of a true vector, rather than just a pseudo-vector.The only non-obvious property of the above addition is commutativity.This can be proven from the fact that the velocity tensor "W" (see below) is skew-symmetric, so that formula_42 is a rotation matrix which can be expanded as formula_43.