theorem Th5: :: MESFUN16:5

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