Exponential series/Real/Functional equation/Fact/Proof