英语 ⇄ 俄语 +

towards the proof of 强调
数学	чтобы приступить к доказательству, мы используем ... (Theorem D we use the proposition to see that a=0)