Derivative of Power of Function/Proof 1