This is unfortunately false for weak probable primes, because there exist Carmichael numbers; but it is true for more refined notions of probable primality, such as strong probable primes ("P" = 1/4, Miller–Rabin algorithm), orEuler probable primes ("P" = 1/2, Solovay–Strassen algorithm).
К сожалению, это неверно для слабых вероятно простых чисел, поскольку существуют числа Кармайкла, но верно для более строгого отбора вероятно простых чисел, таких, как сильных вероятно простых чисел ("P" = 1/4, Тест Миллера — Рабина), илиВероятно простых Эйлера ("P" = 1/2, Тест Соловея — Штрассена).