2024-02-29 既約元分解できる条件について(未完) ネーター整域なら可能。 反例など:https://x.com/study_unnatural/status/1762343607670030586?s=20