>>182
「確実に合成数」と判定されるか、
「素数である確率が極めて高い」と判定されるかのどちらか。

合成数を「素数である確率が極めて高い」と判定されることはあっても、
素数を「確実に合成数」と判定されることはない。