p141 mul-term-by-all-terms