Closed set in a compact space is compact