theorem Th72: :: MEASUR12:71

for A being Interval holds B-Meas . A = diameter A