Пусть после некоторого шага на доске

.
1) Применяя (или не применяя) операцию к

, можно, оставляя

меньшим, делать разность между (новым) средним и меньшим равной

или

по желанию.
2) Если применить операцию к

, то новое меньшее

, что больше старого меньшего

на разность

.
Получается, с помощью комбинации 1) (если нужно) и 2) (всегда) мы можем увеличивать меньшее по желанию на

или

.
И вопрос сводится к представимости

в виде суммы шестёрок и семёрок.