Either-Or Topology is T4

Theorem
Let $T = \struct {S, \tau}$ be the either-or space.

Then $T$ is a $T_4$ space.

Proof
Follows from:
 * Either-Or Topology is $T_5$
 * $T_5$ Space is $T_4$ Space.