Теорема о вертикальных углах

Два угла называются вертикальными, если стороны одного угла являются дополнительными лучами сторон другого. Углы АОВ и COD, BOD и АОС, образованные при пересечении двух прямых, являются вертикальными