Just after an exactly divisible number, the remainder is (1). चरण 1: (a=bq) पूरी तरह (b) से विभाजित है। चरण 2: (a+1=bq+1), इसलिए शेषफल (1) होगा। चरण 3: पूर्ण विभाजित संख्या के ठीक बाद शेषफल (1) आता है।
Adding (1) to the greatest remainder brings the remainder back to (0). चरण 1: (a=bq+(b-1)) लिखें। चरण 2: (a+1=bq+b=b(q+1)+0), इसलिए शेषफल (0) है। चरण 3: सबसे बड़े शेषफल में (1) जोड़ने पर शेषफल फिर (0) हो जाता है।