Anglais ⇄ Russe +

this theorem can be used to find contraintes
génér.	эта теорема может быть использована, чтобы находить; эта теорема может быть использована для нахождения
math.	теорема может быть использована, чтобы находить; теорема может быть использована для нахождения