Деление с остатком: \(a = bq + r\), где \(0 \le r < |b|\). Делимость суммы сохраняется в одну сторону, но обратный вывод неверен — эта тема учит доказывать делимость строго, а не по интуиции.