Kommutative Ringtheorie/Faktorieller Bereich/Über prim/Definition