I know that this is the optimal strategy for misere nim game:
When played as a misère game, Nim strategy is different only when the normal play move would leave only heaps of size one. In that case, the correct move is to leave an odd number of heaps of size one (in normal play, the correct move would be to leave an even number of such heaps).
My question is, what is the rigorous proof that the winning player is the first to have the occasion to "leave an odd number of heaps of size one" ? Why cannot the second player do this ? I mean ok it's clear I can not have this: 2 1 1 1 1 1 and second player's turn cause XOR sum is not 0 (and intuitively as the number of stones becomes smaller and smaller I feel that there is a point where I have k heaps of size 1 and k >= 0 and one of size > 1 and first player's turn; but why exactly is there a point when k piles are of size 1 and another one of size > 1? It seems obvious but It breaks my mind) but I can not figure out something very rigorous and I would like a more formal proof.