identity substitution

Мат. тождественное преобразование