13.5.1. Algebra of Derivative of Functions