При делении с остатком - остаток всегда меньше делителя. Если остаток больше делителя, значит, пример решён неправильно.
4 - делитель, значит остаток может быть только < 4.
