MetaMath '24

Dokažite da ne postoje $n \in \mathbb{N}$ i prost $p$ takav da je $p \equiv 3 \pmod{4}$ te $p \mid n^2 + 1$.