# Lindelöf T3 Space is Paracompact

## Theorem

Let $T = \struct {S, \tau}$ be a $T_3$ space which is also Lindelöf.

Then $T$ is paracompact.