С помощью равносильных преобразований