Если натуральное число a больше натурального числа b и a не делится на b, то существует, и только одна, пара натуральных чисел q и r, причем r < b, такая что выполняется следующее равенство.
(полное условие - в демо-файлах)
b = q + r
a = bq + r
b = a + r
a = b + q