Angielski ⇄ Rosyjski +

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