Finite T1 Space is Discrete/Proof 2

Proof
We have from Finite Complement Topology is Minimal $T_1$ Topology that $\tau$ space is an expansion of a finite complement space.

But from the definition, any such finite complement space on a finite set is discrete.

But as the Discrete Topology is Finest Topology, $\tau$ must itself be the discrete topology on $S$.