さらにいえば、"p"("bk" + "a") ≡ 0(mod "b")の形の合同式は5,7,11以外のどの素数 "b" に対しても成立しないことが示せる。