Gaußsche Zahlen/Primfaktorzerlegung/3

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