Equivalence of Definitions of Real Exponential Function/Limit of Sequence implies Differential Equation