a が整数で、a ≡ 1 (mod. p^3) なら，
a は Q_p に p 乗根をもつことを示せ