$ For integers $ x$ and $ y,$ show that $7|x^2 + y^2$ if and only if $7|x$ and $7|y
I'm going to prove this, omitting lots of words and formality
If 7|x^2 + y^2, then there exists a positive integer M such that
x^2 + y^2 = 7M
\frac{x^2}{7} + \frac{y^2}{7} = M
Since M in an integer, then...