общая лемма

Мат. general lemma