
theorem Th5:
L-Meas is sigma_finite by Th4,Th3,MEASUR12:def 11,def 12;
