Why this matches division

Each subtraction removes one full copy of the divisor. The number of successful removals becomes the quotient, and what remains becomes the remainder.

That is the same idea as extDividend=extDivisorcdotextQuotient+extRemainderext{Dividend}= ext{Divisor}cdot ext{Quotient}+ ext{Remainder}.

Good practice cases

  • Checking quotients before learning long division.
  • Explaining remainders with concrete subtraction steps.
  • Connecting subtraction and division as inverse ideas.