Start with . Each turn, pick divisor of current number where , subtract it. Can't move = lose. (no valid divisor). (pick , opponent gets 1, loses).
Transition: . Check all proper divisors. Pattern: . Even numbers win, odd numbers lose. Proof: even can always subtract 1 (a divisor), odd - 1 = even, opponent wins.