Showing that Z[Sqrt[-3]] is a Euclidean Domain

Hello everyone,

I'm having a bit of trouble showing that is a Euclidean domain. My attempt is:

For this ring, define the norm . We need to show that there is a division algorithm, so let and . We will compute as complex numbers and fish for an appropriate quotient and remainder. We have

Now choose a quotient such that and . Then we have , where is the leftover "fractional" term. From the choice of , we have , and .

At this point, I can't shake the possible equality. I would appreciate any suggestions on this issue.