let p be a prime number such that {p = 3 [4]} show that the equation {x ^ 2 + 1} = {[p]} does not admit solutions in Z
Group theory proof of existence of a solution to $x^2\equiv -1\pmod p$ iff $p\equiv 1 \pmod 4$