technical lemma

Мат. специальная лемма