disconexo, con una disconexión dada por A y su complemento.