Обратная теорема , теорема, условием которой служит заключение исходной (прямой) теоремы, а заключением - условие.