theorem Th38: :: BORSUK_5:39

for A being Subset of REAL
for B being Subset of R^1 st A = B holds
( A is open iff B is open )