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