theorem Th39: :: BORSUK_5:40

for A being Subset of R^1
for a, b being ExtReal st A = ].a,b.[ holds
A is open