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

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