Como formula_4 es compacto entonces formula_12 tiene un refinamiento finito que también cubre a formula_3.