theorem Th31: :: FRECHET:31

for A being Subset of REAL? st A = {REAL} holds
A is closed