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