Compact Hausdorff Space is T4
Then $T$ is a $T_4$ space.
We have that a Compact Subspace of Hausdorff Space is Closed.
We also have that a Closed Subspace of Compact Space is Compact.
We also have that Disjoint Compact Sets in Hausdorff Space have Disjoint Neighborhoods.
Hence the result.