English ⇄ Russian

its proof can be found in stresses
math.	её теоремы доказательство может быть найдено в (any book on homotopy theory; ...); её теоремы доказательство может быть найдено в (any book on homotopy theory)