Category:Closed Bounded Subset of Real Numbers is Compact