Now we want to show that each \bar{W_{U}}\subseteq U\,.
Proof (Theorem): Take \mathcal{O}*\, a locally finite subcover of the refinement cover: \{V\text{ open }:(\exists{U\in\mathcal{O}})\bar{V}\subseteq U\}\,.