Equivalence of Definitions of Complex Dot Product

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