key lemma

Мат. ключевая лемма