Далее: Тождественные преобразования выражений