Category:Excluded Point Space is Compact