ОТВЕТ логический
Остаток всегда меньше ДЕЛИТЕЛЯ или бы он еще раз разделился.
Остаток - не 4 - делители 3 и 2, а при делении на 5 - может быть.
Остаток - не 7 - делители 6, 5,4,3,2, а при делении на 8 - может быть.
Остаток - не 2 - никогда не может быть, а только = 1 при делении на 2.