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

we could prove the necessary regularity for the solution ударения
мат.	мы могли бы доказать необходимую регулярность решения (but we leave this to the reader)