Ответ:

Теорема: «Если углы вертикальные, то они равны».

Обратная теорема: «Если углы равны, то они вертикальные».