Оставим

. Тогда

Если

имеют общий делитель

, то

тоже кратны

. Добавим к этому

, и любой многочлен от трех переменных

будет кратен

. Но даже при вз. простых

вроде бы имеем квадратичное сравнение по

, которое непонятно почему должно быть неразрешимо. Попробуйте, самому это интересней. Относительно

там, правда, четвертая степень вылезает, легче выписать всё в терминах

и решать сравнение относительно

по

.