На доске написаны числа
1,2,3, …, 12.
Петя и Вася по очереди стирают по одному числу. Первым ходит Петя. Когда останутся два числа, игра заканчивается. Петя хочет, чтобы сумма оставшихся двух чисел была 13, Вася хочет этому помешать. Кто из игроков может гарантированно добиться своей цели независимо от действий соперника? Опишите выигрышную стратегию и докажите, что она работает.