ОБР́АТНАЯ ТЕОРЕМА, теорема, условием к-рой служит заключение исходной (прямой) теоремы, а заключением - условие.
Значение слова ОБРАТНАЯ в Большом российском энциклопедическом словаре
Что такое ОБРАТНАЯ
Большой российский энциклопедический словарь. 2012