Theorem: The first player has a winning strategy if and only if b/a is an integer, or b/a>𝜑, where 𝜑=(√5+1/2) ≈ 1.6180<2 is the Golden Ratio. In the first case, the player wins by making the larger number 0, in the second case by moving to a position (a',b') where 1.