Gaußsche Zahlen/Primfaktorzerlegung/7

ist prim im Ring der ganzen Gaußschen Zahlen aufgrund von Satz.