שינויים

אם <math>ab\equiv c</math> מודולו n, אזי גם אם ורק אם מכפלת השאריות של <math>a,b</math> בחלוקה בn שקולה לc מודולו n.