Indiscrete Space is Separable

Theorem
Let $T = \struct {S, \set {\O, S} }$ be an indiscrete topological space such that $S$ has more than one element.

Then $T$ is separable.