Characterization of Paracompactness in T3 Space/Statement 4 implies Statement 5

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

If every open cover of $T$ is even then:
 * every open cover of $T$ has an open $\sigma$-discrete refinement

Proof
Let every open cover of $T$ be even.

Let $\UU$ be an open cover of $T$.

Lemma 8
By definition of $\sigma$-discrete set of subsets:
 * $\AA = \ds \bigcup_{n \in \N} \AA_n$ where $\AA_n$ is a discrete set of subsets for each $n \in \N$.

Let $X \times X$ denote the cartesian product of $X$ with itself.

Let $\tau_{X \times X}$ denote the product topology on $X \times X$.

Let $T \times T$ denote the product space $\struct {X \times X, \tau_{X \times X} }$.

Lemma 9
From Lemma 9:
 * $\forall n \in \N$ there exists a neighborhood $V_n$ of the diagonal $\Delta_X$ of $X \times X$ in $T \times T$:
 * $\forall x \in X : \card {\set{A \in \AA_n : \map {V_n} x \cap V_n \sqbrk A \ne \O}} \le 1$

By definition of refinement:
 * $\forall A \in \AA : \exists U_A \in U : A \subseteq U_A$

For each $n \in \N$, let:
 * $\WW_n = \set{U_A \cap V_n \sqbrk A : A \in \AA_n}$

Let:
 * $\WW = \ds \bigcup_{n \in \N} \WW_n$

Lemma 10
Since $\UU$ was arbitrary, then every open cover of $T$ has an open $\sigma$-discrete refinement