3.05: Product Rule of Derivatives