Category:Closed Real Interval is Compact