for A, B being Interval st A c= B holds
diameter A <= diameter B by Lm2;