Why the product of two manifolds is paracompact?

By the Smirnov metrization theorem, a paracompact Hausdorff space that is locally metrizable is metrizable. Therefore every manifold is metrizable, and hence so is the product of two manifolds. In particular the product is paracompact.