Легко доказать, что квадраты целых чисел при делении на 4 дают в остатке либо 0, либо 1.
Тогда 13x^2+1 при делении на 4 может давать остаток либо 1, либо 2.
Но 3y^2 при делении на 4 может давать остаток либо 0, либо 3.
Решение 2:
Легко доказать, что квадраты целых чисел при делении на 3 дают в остатке либо 0, либо 1.
Тогда 13x^2+1 при делении на 3 может давать остаток либо 1, либо 2.
Но 3y^2 делится на 3