Estoy trabajando en un nuevo ejercicio en mi libro de texto:
$$\text{Prove that: (P): }\;\nexists \;x,y \in \mathbb{Z}, x^2-4\cdot y = 2 $$
Estoy atascado y realmente me gustaría ver una correcta prueba de lo que me puede pasar, mientras que la comprensión de la "truco".
Gracias.