Category:Excluded Point Topology is T4