theorem Th11: :: WEIERSTR:11

for P being Subset of R^1 st P is compact holds
[#] P is real-bounded