text: Если N {\displaystyle N} — простое, то тест с вероятностью 1 / 2 {\displaystyle 1/2} подтвердит это за одну итерацию, так как количество квадратичных невычетов по модулю N {\displaystyle N} ровно ( N − 1 ) / 2 {\displaystyle (N-1)/2} . для p = 3, 2 1 + 1 = 3 кратно 3, поэтому 3 является простым. для p = 5, 3 2 + 1 = 10 кратно 5, поэтому 5 является простым. p = 13, 5 6 + 1 = 15626 делится на 13, 13 является простым. для p = 9, которая не является простым, не существует b таких что a 4 + 1 делится на 9.