свойство подстановки

Мат. substitution property