Деление с остатком¶

Определение. Для любых натуральных a и b (b>0) существуют единственные q и r такие, что a = bq + r, где 0 ≤ r < b. Число q — частное, r — остаток. (Частное и остаток — составляющие этого концепта, не отдельные концепты.)