Theorem
Every compact hausdorff space
is normal.
Proof
Supposeis a compact Hausdorff space and
are disjoint closed subsets of
and
are closed subsets of a compact space, so are compact.
Using this theorem, open subsets
and
exist such that
henceis normal.