1 4 9 16 25のように
自然数の2乗は4で割り切れるか？1余るか？のどちらか。
（↑（2n+1）^2=4n^2+4n+1のように示しておく）

さてa も b も奇数なら
a^2+b^2は1+1＝2余りで不適(c^2は0か1余りなので)
以下略