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