lifting lemma

Мат. лемма подъема