Say that a set is club if there is a function such that . Show that the intersection of countably many club subsets of is nonempty.

Notation: denotes the first uncountable ordinal. We may us the Countable Principle of Choice, but not the Axiom of Choice.