Петя и Вася задумали сыграть в игру. Сначала Петя пишет на доске 9-значное число, в котором нет одинаковых цифр. Вася может один раз изменить любую цифру в этом числе, но не более, чем на 2 (при этом цифры зациклены, то есть цифру 9 можно менять на 7, 8, 0 и 1). Если после хода Васи на доске окажется простое число, то он выиграет, иначе выигрывает Петя. Кто из игроков может обеспечить себе победу вне зависимости от действий другого игрока?