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

explicit theorem מתח
.מָתֵי	явная теорема