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

by theorem 1 מתח
.מָתֵי	по теореме 1 (by theorem 1, this estimate is always valid)