The first step should probably be to figure out what you want to prove; then you can try to prove it by induction. For the first step, forget about starting with 123 and think systematically about what happens when the game starts with very small numbers. If it starts with 1 or 2 or 3, then the first player wins immediately by subtracting 1 or 2 or 3, respectively. But if it starts with 4, then the first player can't win instantly and, in fact, must leave a remainder of 3 (if he subtracts 1) or 2 (if he subtracts 2) or 1 (if he subtracts 3), so the other player will win on the next move. Now think about what happens if the game starts with 5, or with 6, etc. By the time you get up to about 10 (if not sooner), you'll see a pattern: The first player wins if and only if the starting number has [a fairly simple property that you'll detect].
Then try to prove, by (strong) induction that the pattern you found continues to hold for arbitrarily large numbers. Finally, once your pattern has become a theorem, apply it to the starting number 123.
induction? – José Carlos Santos Aug 13 '18 at 22:31