n = 3 の時の反例
http://www.math.uconn.edu/~kconrad/math316/stablyfree.pdf
n = 1, 2 では成立するが n ＞ 2 なる各 n に対して反例が存在する。
デデキント整域ぐらいの条件を付ければ恐らく成立するだろう
（未確認）