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