Por Teorema 2, losB_{n} son\mathcal{C} -simples (como sonA_{n+1} y\bigcup_{k=1}^{n} A_{k}). Demostrar que son disjuntos (asumir lo contrario y encontrar una contradicción) y verificar ...Por Teorema 2, losB_{n} son\mathcal{C} -simples (como sonA_{n+1} y\bigcup_{k=1}^{n} A_{k}). Demostrar que son disjuntos (asumir lo contrario y encontrar una contradicción) y verificar que\bigcup A_{n}=\bigcup B_{n}: Six \in \bigcup A_{n}, tomar lo menosn por lo quex \in A_{n}. Entoncesn>1 y
