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





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