theorem Th25: :: JORDAN5A:25

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