Excluded Point Space is Compact/Proof 1

Proof
We have:
 * Excluded Point Topology is Open Extension Topology of Discrete Topology
 * Open Extension Space is Compact