theorem Th13: :: COUSIN2:16

for a, b being Real st a <= b holds
{a,b} c= [.a,b.]