Russian ⇄ Chinese English French Italian Russian

противоположная теорема stresses
gen.	теорема, получающаяся путем замены условия и заключения данной исходной теоремы их отрицаниями. Большой Энциклопедический словарь