Si formula_11 entonces hay un subconjunto finito formula_12 tal que formula_13