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