UA пряма́ теоре́ма
Дві теореми, кожну з яких можна отримати з іншої, помінявши місцями умову й висновок, називають взаємно оберненими. Якщо яку-небудь із двох взаємно обернених теорем назвати прямою, то другу теорему називатимемо оберненою.
PL twierdzenie proste
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.
Приклад застосування терміна в українській мові
Кожну з двох взаємно обернених теорем можна назвати прямою теоремою, тоді інша буде оберненою.