Equivalence of Definitions of Complex Cross Product