Let be a Compact Hausdorff space. Then is Normal space.

Proof