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

Proof