Originally Posted by

**johnsomeone** Aren't you choosing c and d such that gcd(c, d) = 1 to begin with? (I don't have your proof in front of me.) If they had a common divisor, you could cancel it so that they then didn't, since the fraction field is, up to isomorphism, from an equivalence relation basically defined by such cancellation. And since A is a UFD, you can always find a GCD. So d divides c^n forces d to be a unit right there, and you're done.

Since I can't see the proof you're referring to, I can't say for sure.