theorem Th10: :: FRECHET:10

for B being Subset of R^1 st B = NAT holds
B is closed