theorem Th75: :: MEASUR12:73

{} is thin of B-Meas