Teorema: Cualquier unión finita de conjuntos contables es contable.