patience: all proved, assuming the pigeon hole lemma