Si la intersección de toda subcolección finita de formula_1 es no vacía, formula_4 también es no vacía.