Rosyjski ⇄ Angielski

теперь достаточно доказать, что ... akcenty
mat.	it is sufficient to prove that ... (it is sufficient to prove that every finite subfamily of spheres has a non-void intersection)