Anglais ⇄ Russe +

complementary theorem contraintes
math.	дополнительная теорема; противоположная теорема (получающаяся путём замены заключения и условия исходной теоремы их отрицаниями)