lel0lelДа, действительно, такое рассуждение решает.
Была старая задача про такую же игру, но в которой каждый переворачивает одну монету. В ней доказать, что побеждает первый несложно - всего есть

конфигураций монет и после каждого хода первого остается чётное число доступных (т.к. исключена первая конфигурация). Поэтому, проиграет второй игрок. Здесь по сути получается то же самое, но увидеть это было ощутимо сложнее.