Теорема о вертикальных углах: теоретическое обоснование и доказательства