すいません、問題とはちょっと違うのですが質問です。
素数判定の問題でラビン法を用いた時に、素数が棄却される（素数とは認定しない）可能性はあるのでしょうか？