Teorema: Cada subconjunto de un conjunto numerable es numerable.