Real exponential function/Derivative/Fact/Proof