Proved choose lemma