theorem Th34: :: BORSUK_4:37

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