Помогите разобраться с теорией чисел.Прикрепляю изображение. Там написано, что остаток от

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