>>401
もう一度見てみましたが、やはり↓のような記述は全くありません。

pを素数とする。2つの整数a、bの積abがpの倍数なら、a、bの少なくとも一方はpの倍数である。
みたいな命題が前の方にかいてあるんじゃないの、素数の定義とともに。