By Definition, smooth manifolds are assumed to be Hausdorff and to satisfy the second countability axiom.
I have heard (but never seen written) that these assumptions imply paracompactness (and thus the existence of a Riemannian metric by the well-known construction using Partition of unity). 
Does anybody know a reference or Proof for paracompactness?



Manifolds are paracompact
Theorem: A countable atlas of charts for a Hausdorff $n$-manifold $M$ can be refined to a locally finite atlas. In fact, each chart only needs to be trimmed.


Proof: Let $U\_1,U\_2,\ldots$ be the charts. Each $U\_i$, as a subset of $\mathbb{R}^n$, is the limit of a nested sequence of compact subsets $K\_{i,1} \subseteq K\_{i,2} \subseteq \ldots$. Since $M$ is Hausdorff, each $K\_{i,j}$ is closed in $M$. So it suffices to delete
$K\_{1,i} \cup \cdots \cup K\_{i-1,i}$ from $U\_i$ to make a new chart $V\_i$. Some of the $V\_i$ might be empty, but this is no problem.


