Category:Indiscrete Space is Separable