theorem Th43: :: BORSUK_4:46

for X being Subset of I(01)
for a, b being Point of I[01] st X = ].a,b.[ holds
X is open