Category:Compact Subspace of Hausdorff Space is Closed