theorem :: MESFUN16:6

Prod_Measure (L-Meas,L-Meas) is sigma_finite by Th5, MEASUR13:27;