اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
إذا كان a و d عددين صحيحين، و d ≠ 0 ، فإنه يمكن إثبات أنه يوجد عددان صحيحان وحيدان q و r، حيث a = qd + r و 0 ≤ d| ≥ r| . يطلق على q خارج القسمة، وعلى r الباقي أو باقي القسمة.
راجع خوارزمية إقليدس لبرهان النتيجة السابقة، وخوارزمية التقسيم للإطلاع على خورزمية تصف كيفية حساب الباقي. ويطلق أحياناً على الباقي كما عرفناه أقل باقٍ موجب.