Не, это доказывается немного по-другому. Смотри, допустим возьмем углы 3 и 4- они вертикальные и они равны, и возьмем угол, который был изначально отмечен как равный им, ну так вот он является для угла 4 соответственным, а если соответственные углы равны, то прямые параллельны