Tagged: descending chain of ideals