Discrete Space is Separable iff is Countable