......................... . أو أ يوافق ب بترديد ن بمعنى للعددين أ و ب نفس باقي القسمة على العدد الطبيعي غير المعدوم ن وهذا مكافئ لـ أ - ب من مضاعفات ن