Category:Compact Complement Topology is Separable