Мальчики тянут жребий. Вася держит три спички, одну короткую и две длинных. Кто вытянет короткую спичку — моет пол. Первым тянет Петя, вторым - Коля, а Васе остается третья. С какой вероятностью Васе придется мыть пол, если Петя вытянул длинную спичку?