Excluded Point Topology is T4/Proof 2

Proof
We have:
 * Excluded Point Topology is Open Extension Topology of Discrete Topology
 * Open Extension Topology is $T_4$

Hence the result.