Afirmamos que, bajo nuestra definición, estos conjuntos tienen el mismo tamaño, y que, por tanto, "B" es infinito numerable.