Поискал я в интернете описания теста Миллера, с помощью которого можно проверить число на простоту. Во-первых, вижу противоречивые сведения, в разных документах по разному описывается и непонятно кому верить. Один из авторитетных - вроде бы у Василенко -
http://www.ict.edu.ru/ft/002416/book.pdf
Тест Миллера описан на странице 32. Как понимать пункт iii ? Какие именно k мы должны рассматривать? Написано, "для некоторого" k... Значит, это k должно как-то определяться более точно, чем <= какого-то "ню".