در یک تقسیم، مقسومِ a و مقسومعلیه b هر دو بر عدد صحیح n بخشپذیرند. ثابت کنید باقیماندهٔ تقسیم نیز، همواره بر n بخشپذیر است.