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

first existence theorem מתח
.מָתֵי	первая теорема существования (ssn)