Equivalence of Definitions of Complex Dot Product

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

Definition 1 equivalent to Definition 2
From the definition of complex numbers as vectors, the complex numbers $z_1$ and $z_2$ are seen to be vectors.

Thus Equivalence of Definitions of Dot Product can be applied directly.