f(x、y)=x^2006+y^2005上に有理点はたかだか有限個しか存在しないことを示せ。