Алгоритм выигрыша в этой игре очень простой: каждый раз надо забирать из кучки M+1 камешек. Следовательно, первым ходом надо забрать количество камешков, равное остатку от целочисленного деления N на М+1, а затем в каждый последующий ход забирать столько камешков, чтобы оставшееся их число было кратно M+1.

Ниже приведено решение на языке Borland Pascal 7.01

uses Crt;
var
  N,M,k:integer;
begin
  ClrScr;
  Write('N,M='); Read(N,M);
  k:=N mod (M+1);
  Writeln(k);
  ReadKey
end.

Тестовое решение:
N,M=7 4
2