лемма подъема

Мат. lifting lemma