שינויים
/* שיטת מילר-רבין לבדיקת ראשוניות */
**אם אף אחד מהחזקות אינה 1 סימן ש<math>p</math> אינו ראשוני '''בוודאות''' וסיימנו.
**אחרת <math>a</math> הינו '''עד חזק''' לראשוניות של <math>p</math>.
*אם <math>p</math> ראשוני אזי כל המספרים <math>1<a<p</math> הם עדים חזקים לכך.