Exponential series/Real/Elementary properties/Fact/Proof