x^2+y^2=z^2011を満たす互いに素な自然数の組(x,y,z)は無数に存在するか?