Англійська ⇄ Російська +

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