main lemma

Мат. основная лемма