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





Ссылка на выделенный текст