Another lemma in composition.tex