Oración 1: luego, existen J1 y K1 subconjuntos finitos de J y K respectivamente, tales que la colección {Bj}j∈J1 ∪ {Ck}k∈K1r{k0} cubre a Cck0
Oración 2: {Bj}j∈J1 ∪ {Ck}k∈(K1∪{k0}) es un subcubrimiento finito de U que cubre a X∗
Conector: por lo tanto
Relación: reasoning
Género: books