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.