Linearity and Product Rule for Derivatives