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






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