Así obtenemos un refinamiento finito de cualquier cubierta abierta de formula_3