IsoLyS 30.01.2016 15:54 Note that $3|y$ and then $3|x$, so now we get $-7(y/3)^2\equiv1\pmod{3}$, a contradiction.