Английский ⇄ Русский +

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