［補］互いに素な整数ａ，ｂに対する平方の和ａ^2＋ｂ^2は３で割れない．

　　ａ＝３ｋ　　　→　ａ^2＝９ｋ^2

　　ａ＝３ｋ＋１　→　ａ^2＝９ｋ^2＋６ｋ＋１

　　ａ＝３ｋ＋２　→　ａ^2＝９ｋ^2＋１２ｋ＋４

より，ａ^2を３で割ったときの余りは０か１になります．０になるのはａが３の倍数のときです．

　ｂ^2に対しても同じことが成り立ちますから，ａ^2＋ｂ^2を３で割ると，余りは０＋０，０＋１，１＋０，１＋１にしかなりません．０＋０はａもｂも３の倍数であることに対応していて，仮定に反します．さらにまた，別の例を挙げてみましょう．

［補］４ｎ＋３の数はａ^2＋ｂ^2の形にならない．

　　ａ＝４ｋ　　　→　ａ^2＝０　　（ｍｏｄ　４）

　　ａ＝４ｋ＋１　→　ａ^2＝１　　（ｍｏｄ　４）

　　ａ＝４ｋ＋２　→　ａ^2＝０　　（ｍｏｄ　４）

　　ａ＝４ｋ＋３　→　ａ^2＝１　　（ｍｏｄ　４）

したがって，ａ^2＋ｂ^2を４で割ったときの余りは０＋０，０＋１，１＋０，１＋１にしかならないので，この主張が示されました．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

x^2,y^2,z^2,w^2=0,1,4,1,0,1,0,1 (mod8)

これらの4つの組み合わせで8k,8k+1,・・・,8k+7すべて作ることができる

3つの組み合わせでは8k+7を作ることはできない。

ｍ＝2→0,2,0,2,0,2,0,2

x^2,y^2,z^2,mw^2、これらの4つの組み合わせで8k,8k+1,・・・,8k+7すべて作ることができる

ｍ＝3→0,3,4,3,0,3,0,3

ｍ＝4→0,4,0,4,0,4,0,4

ｍ＝5→0,5,4,5,0,5,0,5

ｍ＝6→0,6,0,6,0,6,0,6

ｍ＝7→0,7,4,7,0,7,0,7

x^2,y^2,z^2,mw^2、これらの4つの組み合わせで8k,8k+1,・・・,8k+7すべて作ることができる

ｍ＝8→0,0,0,0,0,0,0,0

x^2,y^2,z^2,mw^2、これらの4つの組み合わせでは8k+7を作ることはできない。

ｍ＝9→0,1,4,1,0,1,0,1 ・・・元に戻る

ｍ＝10→0,2,0,2,0,2,0,2

ｍ＝11→0,3,4,3,0,3,0,3

ｍ＝12→0,4,0,4,0,4,0,4

ｍ＝13→0,5,4,5,0,5,0,5

ｍ＝14→0,6,0,6,0,6,0,6

ｍ＝15→0,7,4,7,0,7,0,7

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　（１，１，１，１），（１，１，１，２），（１，１，１，３）

　（１，１，１，４），（１，１，１，５），（１，１，１，６）

　（１，１，１，７）がリストアップされたことになる

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

x^2=0,1,4,1,0,1,0,1 (mod8)

ｍ＝3→0,3,4,3,0,3,0,3

ｍ＝3→0,3,4,3,0,3,0,3

x^2,3y^2,3z^2、これらの3つの組み合わせでは8k+2を作ることができない。

ｍ＝3→0,3,4,3,0,3,0,3・・・これらの4つの組み合わせで8k,8k+1,・・・,8k+7すべて作ることができる

ｍ＝4→0,4,0,4,0,4,0,4・・・これらの4つの組み合わせで8k,8k+1,・・・,8k+7すべて作ることができる

ｍ＝5→0,5,4,5,0,5,0,5・・・これらの4つの組み合わせで8k,8k+1,・・・,8k+7すべて作ることができる

ｍ＝6→0,6,0,6,0,6,0,6・・・これらの4つの組み合わせで8k,8k+1,・・・,8k+7すべて作ることができる

ｍ＝7→0,7,4,7,0,7,0,7

ｍ＝8→0,0,0,0,0,0,0,0

ｍ＝9→0,1,4,1,0,1,0,1

ｍ＝10→0,2,0,2,0,2,0,2

ｍ＝11→0,3,4,3,0,3,0,3

ｍ＝12→0,4,0,4,0,4,0,4・・・元に戻る

ｍ＝13→0,5,4,5,0,5,0,5

ｍ＝14→0,6,0,6,0,6,0,6

ｍ＝15→0,7,4,7,0,7,0,7

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

（１，３，３，？）とリストには入っていない

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝