Ключевая фраза: равносильные преобразования