Characterization of Paracompactness in T3 Space/Lemma 4

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

Let $\VV$ be a closed locally finite cover of $T$.

Let $\WW = \set{W \in \tau : \set{V \in \VV : V \cap W \ne \O} \text{ is finite}}$ be an open cover of $T$.

Let $\AA$ be a closed locally finite refinement of $\WW$.

Then:
 * $\forall A \in \AA : \set{V \in \VV : V \cap A \ne \O}$ is finite

Proof
By definition of refinement:
 * $\forall A \in \AA : \exists W \in \WW : A \in W$

Hence:
 * $\forall A \in \AA : \exists W \in \WW : A \in W \text{ and } \set{V \in \VV : V \cap W \ne \O}$ is finite

From Subsets of Disjoint Sets are Disjoint:
 * $\forall A \in \AA : \exists W \in \WW : \set{V \in \VV : V \cap A \ne \O} \subseteq \set{V \in \VV : V \cap W \ne \O}$

From Subset of Finite Set is Finite:
 * $\forall A \in \AA : \set{V \in \VV : V \cap A \ne \O}$ is finite