a≡b(mod p)を廃止し
a=b(mod p)にする