Anglais ⇄ Russe +

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