adding a useful lemma.