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

which proves the theorem ударения
мат.	что и требовалось доказать (The conclusion of Lemma follows directly.)