Equivalence of Definitions of Complex Exponential