Y probó que ese subconjunto no puede ser la imagen de ningún elemento de "A".