theorem :: MEASURE5:12

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