Compact subspace of a Hausdorff space is closed