Kommutative Ringtheorie/Nichtnullteiler/Definition