Свойства вертикальных углов: формулировка и доказательства