Konig's infinity lemma states that given a connected graph in which every vertex has finite degree, and a distinguished vertex of this graph, there is an infinite simple path starting at . Apply this to the infinite connected component found above, with being one of its vertices which belong to, and we're done.
Kawalang-hanggan lemma Konig ng estado na ibinigay ng isang konektado sa graph na kaitaasan ang bawat ay may wakas degree, at isang bantog kaitaasan ng mga graph na ito, may isang walang katapusang simpleng path simula sa . Mag-apply ito sa walang katapusang konektado sangkap na matatagpuan sa itaas, na may sa pagiging isa sa mga vertices na pag-aari ng, At kami ay tapos na.