Мой мозг отказывается понимать концепт конгруэнтности чисел в рамках Малой Теоремы Ферма в целом, и теста Миллера-Рабина в частности. Как 1 по модулю любого числа может быть не 1? Или я неправильно понимаю концепцию модуля в данном случае?
Вроде бы сопутствующий код подтверждает, что это по сути остаток от деления, но в таком случае вопрос остается актуальным.