命題
p を素数とし a ≠ 0 (mod p) かつ ab = 0 (mod p) とすると、
b = 0 (mod p) となる。

証明
>>565 よりあきらか。