Common use of Lemma Clause in Contracts

Lemma. Assuming the conjecture Lc (Xét, n), we have Hi(Xét, Zc(n)) = 0 for i < −2 dim X.