Proposición: Cualquier subconjunto de un conjunto numerable es numerable.