proof of a lemma.