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

negation of theorem מתח
.מָתֵי	обратная теорема