Equivalence of Definitions of Complex Cross Product

Theorem
The following definitions of the complex cross product are equivalent: