Este es el caso en que "A" es un dominio MCD (en particular un DFU).