Characterization of Paracompactness in T3 Space/Statement 1 implies Statement 2

Theorem
Let $T = \struct{X, \tau}$ be a paracompact $T_3$ Space.

Then:
 * every open cover of $T$ has a locally finite refinement

Proof
By definition of paracompact:
 * every open cover of $S$ has an open refinement which is locally finite.

By definition of open refinement:
 * every open refinement of a cover is a refinement of a cover.

The result follows.