5.9.4 Product rule