theorem Th42: :: BORSUK_4:45

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