Derivative of Exponential Function/Corollary 2