求满足x^3-x=y^7-y^3的所有素数x和y