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