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

theorem 1 tells us the answer is affirmative when מתח
.מָתֵי	теорема 1 говорит нам, что ответ является утвердительным, если ...