theorem Th12: :: WEIERSTR:12

for P being Subset of R^1 st P is compact holds
[#] P is closed