Equivalence of Definitions of Real Exponential Function/Inverse of Natural Logarithm implies Differential Equation