Open Extension Topology is not T1

Theorem
Let $T = \left({S, \tau}\right)$ be a topological space.

Let $T^*_{\bar p} = \left({S^*_p, \tau^*_{\bar p}}\right)$ be the open extension space of $T$.

Then $T^*_{\bar p}$ is not a $T_1$ (Fréchet) space.

Proof
By definition:


 * $\tau^*_{\bar p} = \left\{{U: U \in \tau}\right\} \cup \left\{{S^*_p}\right\}$

Let $x \in S^*_p, x \ne p$.

Let $U = \left\{{x}\right\}$.

Then $U \in \tau^*_p$ such that $x \in U, p \notin U$.

But the only $v \in \tau^*_p$ such that $p \in V$ is the set $S^*_p$, and we have that $x \in S^*_p$.

So there is no $V \in \tau^*_p$ such that $x \notin V, p \in V$, by definition of the open extension topology.

Hence $T^*_{\bar p}$ can not be a $T_1$ (Fréchet) space.