Proving the product rule...