лемма о расширении

Мат. extension lemma