Closed Subsets of Compact Spaces Are Compact