global lemma

Мат. глобальная лемма