(奇)素数に対してが素数であるかどうかは、リュカ-レーマー・テストによって判定できる(#素数判定法節を参照)。