Esto significa que podemos emparejar los elementos de "A" y los de {1, 2, 3, ..., "n"} sin que sobre ninguno.