theorem Th33: :: BORSUK_4:36

for a, b being Point of I[01] st a < b & b <> 1 holds
].a,b.] is non empty Subset of I(01)