*חלוקה עם שארית: לכל מספר טבעי a ולכל מספר שלם b קיים זוג שלמים '''יחיד''' <math>q,r</math> כך ש <math>b=q\cdot a+r</math> וגם <math>0\leq r < a</math>.
*המספר q נקרא '''מנת''' החלוקה והמספר r נקרא '''שארית''' החלוקה.
*יהיו שני טבעיים <math>aba,b</math> שקול מודולו n למכפלת השאריות של ויהיו <math>ar_a,br_b</math> השאריות שלהם בחלוקה בn.אזי <math>ab\equiv r_ar_b \mod n</math>