Category:Open Real Interval is not Compact