rewriting rule

Правило подстановки