質問(20点)

iを虚数単位、a,bを相異なる素数、pを素数とする。
(a+bi)^pは実数でないことを示せ。