Tienes razón, excepto el símbolo de $\sqrt{35}$ no es muy buena notación modulo $p$ porque no hay manera de distinguir entre los dos posibles raíces. También, sólo porque el número de $35$ no tiene una verdadera raíz cuadrada no implica automáticamente que no tiene un modulo $49$. Por ejemplo, el número 7 no tiene raíz cuadrada, pero es un cuadrado modulo $9$.
He aquí cómo me gustaría volver a escribir la prueba.
Supongamos que $x^2 + 4x + 18 \equiv 0$ tenía una solución mod $49$. A continuación, completar el cuadrado, vemos que $(x+2)^2 \equiv 35$ tiene una solución mod $49$. De ello se desprende que $y^2 \equiv 35$ tiene una solución mod $49$.
Por lo tanto, es suficiente para mostrar que $35$ es un no-square mod 49. De hecho, si $y^2 \equiv 35$$y^4 \equiv 0$. Podemos deducir que $7 | y$, ya que si $7 \nmid y$$49 \nmid y^4$. Pero, a continuación,$y^2 \equiv 0$, contradicción.