Derivative of Exponential at Zero/Proof 3