Whole-number division is organized by $ext{dividend}= ext{divisor} imes ext{quotient}+ ext{remainder}$.

The remainder must be smaller than the divisor, otherwise there is still enough left to form one more full group.