Сбитый с толку Миллер-Рабин

В качестве упражнения я реализую тест Миллера-Рабина. (Работает через SICP). Я понимаю маленькую теорему Ферма и смог успешно ее реализовать. Часть, которую я Я спотыкаюсь в тесте Миллера-Рабина - это бизнес "1 mod n". Разве 1 ​​mod n (n - некоторое случайное целое число) всегда 1? Поэтому я не понимаю, что может быть «нетривиальный квадратный корень из 1 по модулю n», поскольку, на мой взгляд, «1 по модулю n» всегда равно 1 при работе с целыми числами. Что мне не хватает?