Proof of the Product Rule