Английский ⇄ Русский +

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