theorem :: MEASUR12:76

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