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

under the hypothesis of a theorem מתח
.טֶכנו	по условию теоремы