最後に、"r" がネーターでなければ、有限生成イデアルの無限昇鎖列が存在するので、ベズー整域において主イデアルの無限昇鎖が存在する。