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