Small lemma in dga.tex