constant factor rule in differentiation