theorem Th33: :: COUSIN:37

for I being non empty closed_interval Subset of REAL ex a, b being Real st
( a <= b & I = [.a,b.] )