aとbが互いに素でc*c==a*a+b*bならaとc、bとcも互いに素だろ