
since the cross product is distributive over addition. By anticommutativity,

Scalars can be factored, so

Using the distributive property again,

Any vector crossed with itself is the zero vector, so you get

Because

, and by anticommutativity, you are left with

Next, without outlining which properties are being used,
