Angielski ⇄ Rosyjski +

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