Derivative Of Product Rule Proof