Demuestre que si $n$ es un entero positivo, entonces $2 (n^2 + 1) - n$ no es el cuadrado de un entero.