>>552
あるb(1≦b<p)が存在してab≡1(modp)
あとは(2b)a≡2、(3b)a≡3…以下略