Петя и Вася играют в следующую игру. На доске написаны числа 1, 2, …, 10001. Каждый своим ходом вычёркивает одно из чисел, первым ходит Петя. Игра заканчивается, когда останется 2 числа. Если их сумма делится на 8, побеждает Петя, иначе — Вася. Кто выиграет при правильной игре?