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






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