for M, x, g being Function st x in product M holds
x * g in product (M * g)