universal side divisor, A^×→(A/uA)^×の全射性には見えていなかったな……ところでこの主張自体は局所環でも正しいのよなEuclidと局所環って言ったら……ちょっと前に友人に疑問を投げたなぁ