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