Anglais ⇄ Russe +

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