Small lemma in varieties.tex