Compare König's lemma [1] ("every infinite tree contains a vertex of infinite degree or an infinite simple path"), often considered the first example of infinit

Compare König's lemma [1] ("every infinite tree contains a vertex of infinite degree or an infinite simple path"), often considered the first example of infinite graph theory. It wasn't articulated until 1927, almost half a century after Darwin's death. [1] https://en.wikipedia.org/wiki/K%C3%B6nig%27s_lemma https://en.wikipedia.org/wiki/K%C3%B6nig%27s_lemma