rewrite rule

Вчт правило подстановки мат. лингв. правило вывода