theorem Th59: :: MEASUR12:59

for I being Interval holds pre-Meas . I = diameter I