Kann es sein, dass die letzte Implikation des Diagramm voraussetzt, dass A ein Integritätsring ist?
--jorst
