a,b,cは整数でa=b=cではないとする
(a-b)^7+(b-c)^7+(c-a)^7
は
(a-b)^4+(b-c)^4+(c-a)^4
で割り切れることを示せ