ユークリッドの補題
たとえば、p = 19、a = 133、b = 143 の場合、ab = 133 × 143 = 19019 について、ab = 19019 は p = 19 で割り切れるので、ユークリッドの補題から a = 133, b = 143 の少なくとも一方は p = 19 で割り切ることができる。実際、133 ÷ 19 = 7 であり a = 133 は p = 19 で割り切れる。