Hey all, I am having a problem with an exercise from the book "A Classical Introduction to Modern Number Theory". It involves the ring , where

The question is

For any , show that is congruent to 1, -1 or 0 mod 1 -

I figured the best thing to use was Euclidean division, so I set

and worked out that

I can see how it would work, and have tested it a few times on random Eisenstein integers, but cannot work out how to actually prove it!

Any help would be much appreciated