Exponential Function is Well-Defined/Real/Proof 4/Lemma