Constant factor rule in differentiation