В чем преимущество использования теста Миллера-Рабина для проверки больших чисел на простоту?

Некоторые преимущества использования теста Миллера-Рабина для проверки больших чисел на простоту:

• Скорость выполнения. ru.wikipedia.org jurnal.org Алгоритм позволяет выполнять проверку за малое время. ru.wikipedia.org
• Низкая вероятность ошибки. jurnal.org Вероятность того, что число на самом деле является составным, при использовании теста Миллера-Рабина достаточно мала. ru.wikipedia.org
• Возможность получения ответа с высокой точностью. vscode.ru Тест даёт один из двух вариантов ответа: «число составное» или «вероятно простое». vscode.ru Получив положительный ответ, можно с большой вероятностью (но не 100%-й) утверждать, что число простое. vscode.ru
• Применение в криптографии. ru.wikipedia.org spravochnick.ru Тест часто используется для получения больших случайных простых чисел, так как криптостойкость многих алгоритмов шифрования основывается на секретных ключах, для создания которых необходимы простые числа. ru.wikipedia.org

Однако с помощью теста Миллера-Рабина нельзя строго доказать простоту числа. ru.wikipedia.org