Number theory 1_2, To prove there is no rational solution of equation: x^2+y^2=7

Q: To prove there is no rational solution of equation: $x^2+y^2=7$

prove:
If exist rational solution of equation: $x^2+y^2=7$
Then we have integer numbers ‘a,b,c’ satisfying:
$(\frac{a}{c}{)}^2+(\frac{b}{c}{)}^2=7$
Then $a^2+b^2=7c^2\equiv 0(mod7)$
We know for a integer y, existing $y^2\equiv 0,1,2,4(mod7)$[^1]
So $a^2\equiv 0(mod7)$, $b^2\equiv 0(mod7)$
Let $a=7d$ and $b=7e$
Then $7d^2+7e^2=c^2$
Same as above: here $c^2\equiv 0(mod7)$
Let $c=7f$
Then $d^2+e^2=7f^2$
Here we compare :$\{\begin{array}{l}{d}^2+e^2=7f^2\\ a^2+b^2=7c^2\end{array}$
We get $f=c$
But we setted $c=7f$
Contradictio!
Hence there is no rational solution of equation: $x^2+y^2=7$**

[^1] For any integer $a$, we could mark it as:
$a=7n+m(n\in Z,0\le m\le 6)$
So $a^2(mod7)=(7n+m{)}^2(mod7)=m^2(mod7)(0\le m\le 6)$
Hence $a^2\equiv 0,1,2,4(mod7)$