Дві теореми, кожну з яких можна отримати з іншої, помінявши місцями умову й висновок, називають взаємно оберненими. Якщо яку-небудь із двох взаємно обернених теорем назвати прямою, то другу теорему називатимемо оберненою.

Dwa twierdzenia, z których każde można otrzymać z drugiego poprzez zamianę założenia i tezy, nazywane są wzajemnie odwrotnymi. Jeśli dowolne z nich nazwiemy prostym, to drugie twierdzenie nazwiemy odwrotnym.