Russian ⇄ English

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