The factorization is not unique - you have:

.

But I think this can be shown by induction on |w| (which is a positive integer). Simply by the argument, that it is either irreducible, or it can be written as a product of two elements with smaller absolute value.

Of course, you'll have to show that all units in this ring have absolute value 1 first, but this is easy.