theorem Th37: :: BORSUK_5:38

for A being Subset of R^1
for a being Real st A = {a} holds
Cl A = {a}