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

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