Así que estamos hablando de una unión numerable de conjuntos numerables, que es contable por el teorema anterior.