User:Leigh.Samphier/Topology/T3 Space is Fully T4 iff Paracompact

Theorem
Let $T = \struct {S, \tau}$ be a $T_3$ space.

Then $T$ is fully $T_4$ $T$ is paracompact.