互いに素な自然数a,bと3以上の素数pに対して、(a+bi)^pは実数でないことを示せ。
ただしiは虚数単位である。