a^2 + b^2 = c^2を満たす自然数a,b,cについて、abc≡0(mod 60)であることを証明せよ。