Это всё потому, что возведение обеих частей равенства

в куб:
и подстановка

, что здесь делалось, приводит к

.
Поскольку

, то это фактически
домножение обеих частей равенства

на

.
Такое преобразование будет эквивалентным, когда

или когда корень

является корнем исходного уравнения.
Последнее неравенство означает, что среди чисел

,

и

имеются различные.
То бишь если мы не хотим делать в конце тотальную проверку, то вначале надо проверить,
является ли корень системы

корнем исходного уравнения.
Если да является (такое бывает!), то преобразования будут эквивалентными.
Если нет, - то мы его забракуем в конце.
Если же у системы

нет корней, то тогда тем более преобразования будут эквивалентными.