Derivative of General Exponential Function/Proof 2