"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...