Konig S Lemma by Marcos Benevides

:ID: c3826363-989c-49d9-905f-f1349f5528b7

Definition

A tree that is finitely branching but infinite must have an infinite branch.