Свидетели простоты в алгоритме Шора и в алгоритме Миллера–Рабина

Доказано, что свидетели простоты алгоритма Миллера–Рабина есть свидетели простоты алгоритма Шора, для которых выполнено условие малой теоремы Ферма. Описано множество натуральных чисел, для которых свидетели простоты алгоритма Миллера–Рабина совпадают со свидетелями простоты алгоритма Шора. Найдены все такие числа меньшие 100 000 000, и экспериментально исследована скорость роста отношения количества таких чисел к количеству чисел Кармайкла.