theorem Th4: :: MESFUN16:4

B-Meas is sigma_finite