であり、最終的に2＝x2+y2+z2+w2となる正の整数x,y,z,wが存在することになる。