n は p で割り切れず，a ≡ 1 (mod. p) なら，
a は Q_p に n 乗根をもつことを示せ．