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