Концептуально, я думаю об этом так.По определению, ваш дивиденд должен быть равен (quotient * divisor) + modulus
Или, решая для модуля: modulus = dividend - (quotient * divisor)
Всякий раз, когда дивиденд меньше делителя, частное всегда равно нулю, что приводит кмодуль просто равен дивиденду.
Для иллюстрации со значениями ОП:
modulus of 3 and 7 = 3 - (0 * 7) = 3
Для иллюстрации с другими значениями:
1 % 3:
1 - (0 * 3) = 1
2 % 3:
2 - (0 * 3) = 2