Наприклад, теореми: "якщо два кути трикутника рівні, то їх бісектриси рівні" і "якщо дві бісектриси трикутника рівні, то відповідні їм кути рівні" – Зворотні один одному.
Зворотна теорема або зворотне твердження до цієї теореми – це твердження, в якому умова вихідної теореми (прямого твердження) поставлено висновком, а висновок умовою. Зворотній до зворотній теорема є вихідною (пряма) теорема.
Зворотня теорема Піфагора: доказ Якщо сума квадратів двох сторін трикутника дорівнює квадрату третьої сторони, такий трикутник є прямокутним.
Види теорем і зв'язок між ними. Пряма та зворотна теореми пов'язані з поняттями НЕОБХІДНОГО І ДОСИЛЬНОГО УМОВ. У прямий теоремі присутні два предикати і один з яких визначає Умова, інший – Висновок теореми. У зворотній теоремі умова та висновок змінюються місцями.