Theorem in combinatorial game theory that every impartial game position is equivalent to a position in the game of nim
