NikopЯ не отвечу на Ваш вопрос, а только выскажу свою точку зрения по данной теме в форме рассуждения (вопросов и ответов к самому себе).
Если рассмотреть ВТФ в разных конечных полях (порождённых разными числами), то в степени 2 (в специально подобранном поле), можно считать, что мы имеем множество квадратичных вычетов, которые образуют элементы тройки:

. (О квадратичных вычетах можно почитать в Википедии).
При этом квадратичные вычеты образуют мультипликативную группу, т.е. результат сложения элементов поля не обязательно будет одним из элементов группы, т.е. будет квадратичным вычетом, а вот результат произведения обязательно будет таковым.
Т.е.

может не быть квадратичным вычетом, а

- всегда будет квадратичным вычетом. Также, как и

, и

, будут квадратичными вычетами, а

может не быть квадратичным вычетом.

можно рассматривать (в специально подобранном поле), как 3-степенные вычеты (степени 3).
Для меня 3-степенные вычеты и 2-степенные вычеты - это инструмент, который помогает разобраться в Вашем примере.
Кроме того, результат сложения 3-степенных вычетов может быть решением сравнения Ферма (подчёриваю - решением сравнения, а не уравнения).
По-моему, если существует результат решения сравнения в 3-степенных вычетах, то при этом не обязательно должно существовать решение для квадратичных вычетов. Более того, сомнительно утверждать, что найденные, как решение, 3-х степенные вычеты будут совпадать с какими-то квадратичными вычетами (других чисел - не из данной тройки чисел), включая результат операции сложения.
Таким образом, делаю для себя заключение - искать решение уравнения Ферма в поле квадратичных вычетов,ошибочно, т.к. найденные решения в нём будут отличаться от решений сравнений 3-степенных вычетов. Возможно, это ставит новые вопросы, но ответ на них то мы знаем, благодаря доказательству Уйалса. Хотя, для решения проблемы на уровне сравнений, было бы интересно покопаться.