Por Teorema 2, losBn sonC -simples (como sonAn+1 y⋃nk=1Ak). Demostrar que son disjuntos (asumir lo contrario y encontrar una contradicción) y verificar ...Por Teorema 2, losBn sonC -simples (como sonAn+1 y⋃nk=1Ak). Demostrar que son disjuntos (asumir lo contrario y encontrar una contradicción) y verificar que⋃An=⋃Bn: Six∈⋃An, tomar lo menosn por lo quex∈An. Entoncesn>1 y