Доказать можно геометрически.
Обозначим концы верхнего вектора V1 точками А и Е. Соединим точки Е и В.
Углы полученного четырёхугольника АЕВО равны углам вокруг точки В, ведь в обоих случаях сумма углов 360°.
∠ОАЕ=∠СВД=90°, ∠АЕВ=∠ЕВД как накрест лежащие при параллельных АЕ и ВД и секущей ЕВ, ∠ЕВО - общий, значит оставшиеся углы ∠АОВ и ∠ДВС равны.
Доказано.