Separable Discrete Space is Countable/Proof 2

Proof
Let $T$ be separable.

$S$ is uncountable.

Then by Uncountable Discrete Space is not Separable, $T$ is not separable.

Hence the result by Proof by Contradiction.