5.3.1 Differentiation power rule