exchange lemma

Мат. лемма о замещении