theorem :: MEASUR12:74

for a being Real holds {a} is thin of B-Meas