Anglais ⇄ Russe +

it is a matter of direct verification to prove that contraintes
math.	можно доказать непосредственной проверкой, что; непосредственной проверкой можно доказать, что; можно доказать непосредственной проверкой, что; непосредственной проверкой можно доказать, что