Category:Countable Discrete Space is Separable