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