осталось только доказать (мой интерес) что делители псевдослучайного числа n по основанию b
можно представить в виде

где
[*] d - порядок b в группе Z/nZ
[*] x - какоето
целое положительное число больше нуляможет это как в книге пишется очевидно? :)
неверное утверждение
нашол нехороший пример

псевдопростое по основанию 4
опытным путем найдено

-порядок b(=4) в группе

имеем разложение



вернее будет так
делители псевдослучайного числа n по основанию b
можно представить в виде

где
[*] d - порядок b в группе Z/nZ
[*] x -
целое положительное число больше нуля[*] y -
целое положительное число больше нуля, такое что отношение

- целое; для каждого из делителей является константой
остается только доказать что имеет место быть

(мои интерес)
вообщем ценности никакой :)