Real exponential function/Base/Rules/Fact/Proof/Exercise