5.6.3 Product rule