定理ではなく定義.a≡b mod p の定義は,a-bがpで割り切れること