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

it follows from theorem that מתח
.מָתֵי	как следует из теоремы