求满足方程x^2-2y^2=1的所有质数解