>>10
なら、有限生成であるがネターでない、では?