x3-y3=z2 y是质数的一个很难的问题