Vector Cross Product is Anticommutative

Theorem
The vector cross product is anticommutative:


 * $\forall \mathbf{a},\mathbf{b} \in \R^3: \mathbf a \times \mathbf b = -\left({\mathbf b \times \mathbf a}\right)$