由已知x^3,y^3,z^3模p同余,
所以p整除（x^3-y^3）
即p整除（x-y）*（x^2+xy+y^2)
又0＜x＜y＜p,p是质数,故p不能整除（x-y),因此,p整除（x^2+xy+y^2)
同理可证
p整除（y^2+yz+z^2)
p整除（x^2+xz+z^2)
p整除（x^2+xy+y^2-y^2-yz-z^2）
即p整除（x-z)*(x+y+z),
从而,p整除（x+y+z）
已知0＜x＜y＜z＜p,
所以x+y+z=p或2p
由于p＞3,则（2,p）=1
又因为（x+y+z）与（x^2+xy+y^2）模2同余
故只须证明p整除（x^2+z^2+y^2).
p整除【x（x+y+z）+y^2-xz）】,于是,
p整除（y^2-xz）
同理p整除（x^2-yz）,
p整除（z^2-xy）.
p整除3（x^2+z^2+y^2).
故p整除（x^2+z^2+y^2).