Perfectly Normal Space is Completely Normal Space

Theorem
Let $\left({X, \vartheta}\right)$ be a perfectly normal space.

Then $\left({X, \vartheta}\right)$ is also a completely normal space.

Proof
Let $T = \left({X, \vartheta}\right)$ be a perfectly normal space.

From the definition:


 * $\left({X, \vartheta}\right)$ is a perfectly $T_4$ space
 * $\left({X, \vartheta}\right)$ is a $T_1$ (Fréchet) space.