שינויים

**אם אף אחד מהחזקות אינה 1 סימן ש<math>p</math> אינו ראשוני '''בוודאות''' וסיימנו.

**אחרת <math>a</math> הינו '''עד חזק''' לראשוניות של <math>p</math>.

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