Помогите разобраться с теорией чисел.
Прикрепляю изображение. Там написано, что остаток от деления принадлежит промежутку от нуля (включительно) до делителя по модулю.
Я не понимаю, почему остаток получается положительным? Ведь если например разделить -20/3, то получится -6 и -2 (ост), можно сделать проверку.
-6*3+(-2)=-2, а если учитывать то, что остаток должен быть положительным, то при проверке получается
-6*3+2=-16

Вы неправильно делите

-20/3 = (-7)*3 + 1

Остаток не может быть отрицателен по определению.