лемма о замещении

Мат. exchange lemma