"Demostración: " (ideales izquierdos) Sean x, y en formula_17, a en A, cualesquiera.