>>306
-1+A≡0 (mod p) なので、整数Bが存在して Bp=-1+A
これ間違ってるんですか?
 X≡Y (mod d) :⇔ 整数Nが存在して X-Y = dN
が定義ですよね?
ならば
 -1+A ≡ 0 (mod p) ⇔ ある整数Bが存在して -1+A-0 = Bp
は成立しますけど?
5行はあってますよね?