"F) Finally, we may define to be the group (pinc. divisors). Then itself is a UFD if and only if ."

This part is the 6th line from the top on the page 19 of "Algebraic geometry 1:Complex Projective Varieties(by David Mumford)"

Can you prove this?

Please, explain to me...