Inglés ⇄ Ruso +

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