Раздел 3.1. Уравнения-следствия и равносильные преобразования уравнений