Theorem [[Real Exponential Function as Power Series]] and [[Real Exponential Function as Limit of a Sequence]] are equivalent.