Kommutative Ringtheorie/Implikationsdiagramm 1