De otra manera: $ $ aviso que $\,3\,$ se divide una de $\ \color{#0a0}{n\!-\!1,\,n,\,n\!+\!1}.\ $ por lo Tanto
$\ \ \ \color{#c00}{3\mid n^2\!+1}\Rightarrow\ 3\mid 2 = (\color{#c00}{n^2\!+1})(2\!-\!n^2)+\color{#0a0}{(n\!-\!1)n^2(n\!+\!1)},\ $ contradicción.
Comentario $\ $ lo anterior implica coprime $\,n^2\!+1\,$$\,n^3\!-n = (n\!-\!1)n(n\!+\!1),\,$, excepto cuando se $\,n\,$ es impar, cuando se tiene mcd $= 2.\,$ por encima de La relación lineal entre ellos es simplemente la identidad de Bezout para su mcd, considerado como un polinomio sobre $\Bbb Q$ (la cual puede ser calculada de forma mecánica utilizando el algoritmo de Euclides extendido). Aunque este enfoque no es tan eficaz como el uso de la aritmética modular, se destaca un interesante punto de vista que a menudo resulta útil: a menudo, las propiedades de los números enteros (números) son casos especiales de las propiedades de los polinomios (funciones).