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

towards the proof of מתח
.מָתֵי	чтобы приступить к доказательству, мы используем ... (Theorem D we use the proposition to see that a=0)