Real exponential function/Base/Derivative/Fact/Proof