I'm sure that there must be a generic prove to show that Z is a UFD. Here is what I have found thus far:

http://people.ucsc.edu/~smohare/UFD.pdf

Can someone turn that into Lehman's terms? Also, I still could use some help understanding part 1 as well.