König infinity lemma
= König infinity lemma
{c}
{wiki=Kőnig's_lemma}
Every infinite finitely branching rooted tree has an infinite branch. Starting at the root, repeatedly choose a child above which infinitely many vertices remain.
= König infinity lemma
{c}
{wiki=Kőnig's_lemma}
Every infinite finitely branching rooted tree has an infinite branch. Starting at the root, repeatedly choose a child above which infinitely many vertices remain.