Не буду говорить, каким способом, но пришел к формулировке одного утверждения. Не знаю, доказывалось оно кем-то или нет, в инете ничего не нашел. Прошу высказаться, кто что об этом думает. Итак:
"Для двух любых целых чисел

и

выражение

, где

и

является полным квадратом"
Добавил для ясности (AKM):1) связь с теоремой Ферма в простоте утверждения и сложности доказательства
2) утверждение проверено для любых пар целых чисел на отрезке от -1000 до 1000, однако доказательством я не располагаю, поэтому и вынес тему на обсуждение.