В теореме различают условие (то, что в «если…», — дано) и заключение (то, что в «то…», — доказываем).

Обратная теорема — это когда условие и заключение меняют местами. (Это не «если не…, то не…» — то противоположная теорема.)

Из доказанной теоремы обратная не следует сама и не всегда верна: её доказывают отдельно или опровергают контрпримером.

Признаки параллельных (§1) и их свойства (§2) — наша первая пара прямой и обратной теоремы, и здесь обе верны. Дальше в курсе таких пар будет ещё много. А «вертикальные ⟹ равны» верно, тогда как обратное — нет.