theorem Th71: :: MEASUR12:70

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