訂正

>>24
>gcd(a, b) = 1 なら a = d^n となる d ∈ A がある。

gcd(a, b) = 1 なら a = ud^n となる d ∈ A と 単元 u ∈ A^* がある。