pigeon-hole lemma proved using a lemma function