Urysohn's Lemma

Let and be disjoint closed subsets of a Normal space .
There there is a continuous such that , .

Proof

Corollary

Let be an infinite Compact Hausdorff Normed Space.
Then is infinite dimensional.