Smirnov Metrization Theorem

Theorem
Let $X$ be a topological space.

Then $X$ is metrizable iff it is paracompact and locally metrizable.