LGV lemma