The Product Rule for Derivatives