SCHWEITZER 1994 Problem 8

Prove that a Hausdorff space X is countably compact iff for every open cover $\cal {U}$ there is a finite set $A \subset X$ such that $\bigcup \{U \in {\cal U} : U \cap A \neq \emptyset \} = X$ .