То есть вы хотите сказать, что при делении неотрицательного целого числа на положительное целое остаток может быть больше делителя? Или меньше нуля?
Учите теорию сравнений.
a = b mod m (m ∈ N, a, b ∈ Z) по определению тогда и только тогда, когда m | a-b. Или любое эквивалентное определение.
0 ≤ c < z - из определения mod
У вас c > z (5 > 3), чего быть не может.
книги это прошлый век, в большинстве случаев они не актуальны на момент выхода
но вы имели ввиду на сегодняшний день именно псевдокрасноречивый и очень ошибочный распространённый штамп
Какое есть обучающее видео по математике с полного нуля и до очень сложных вещей
> checkerlogs.log
куда должно записываться?