ETМожно ещё так:

даёт остаток 1 при делении как на 4, так и на 5. Поэтому если в паре тройка и семёрка, они "взаимоуничтожают друг друга". Теперь смотрим - с одной стороны, разность между количеством троек и количеством семёрок должна быть нечётна, чтобы давать остаток 3 при делении на 4, а с другой должна быть чётна, чтобы давать остаток 1 при делении на 5 - ПРОТИВОРЕЧИЕ