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

which proves the theorem מתח
.מָתֵי	что и требовалось доказать (The conclusion of Lemma follows directly.)