show/hide this revision's text 1 [made Community Wiki]

The compactness of the Cantor space.

This follows directly from Konig's lemma which itself is a direct consequence of the infinite version of the pigeonhole principle.