ugh, of course... sorry, I took your line 'the ring is a principial ideal ring, and thus, a UFD' out of context..

there's something very surreal in having such a discussion on perlmonks...