Обоснование и доказательства свойств вертикальных углов