אנגלית ⇄ רוסית +

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