Предположим противное: Вася может всегда действовать так, чтобы помешать Пете; поскольку в любой ситуации, кроме конечной, можно сделать ход, это означает, что у Васи есть стратегия, поволяющая ему гарантированно взять последний камень. Пусть d — изначальное количество камней, а r — остаток от деления d на n. Ясно, что r=0, иначе Петя может сразу взять все камни.
Петя после первого своего хода может, взяв кратное n количество камней, оставить любое количество вида ak=r+nk, где 0≤k≤n−1 (все эти количества меньше n2). Пусть ck — ответный ход в Васиной стратегии при ak камнях в куче. Тогда ck не делится на n, иначе после его хода остаётся r+n(k−nck) камней, и Петя может выиграть, действуя по Васиной стратегии для этого числа. Значит, ck<n при всех 0≤k≤n−1, а тогда два из этих чисел совпадают, скажем, ck=cℓ при 0≤k<ℓ≤n−1. Напомним, что у Васи есть стратегия выигрыша в ситуации, когда в куче ak−ck камней и ход Пети.
Пусть теперь Петя первым ходом оставит aℓ камней; Вася в ответ возвьмёт cℓ камней. Теперь Петя может взять n(ℓ−k) камней, оставляя aℓ−cℓ−n(ℓ−k)=ak−ck, и дальше действовать по вышеупомянутой Васиной стратегии. Таким образом, он выиграет — противоречие.