ｎ＝△＋△＋△，すなわち，任意の自然数は高々３個の三角数の和として表すことができる似たいして，

　「任意の自然数は４つの平方数の和の形に表せる．」

すなわち「ｎ＝□＋□＋□＋□」

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

　異なる素数の平方和として表すことができない数がある．その最大数は１７１６３である．いいかえれば，

　　１７１６３≠Σｅkｐk^2，ｅk＝０または１

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