AIHL 5.9.4 Product rule