x^2021+y^2=z^2
を満たす0でない整数の組(x,y,z)は無数に存在することを示せ。