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

it is proved by a straight-forward adaptation of theorem מתח
.מָתֵי	это доказывается непосредственным применением теоремы