a+b+c=2017を満たす自然数a、b、cに対してもa ^2017+b ^2017+c ^2017は2017で割り切れることを示せ