Show that every Euclidean domain is a PID. Define the notion of a Noetherian ring, and show that $\mathbb{Z}[i]$ is Noetherian by using the fact that it is a Euclidean domain.