y es un ideal por la derecha de "A" si: