Suppose is a subset and a finitely generated ideal. Then there exists a finite subset such that .
Let be a finitely generated ideal; say for some finite set . Note that each has the form for some and . Let ; note that is finite. Moreover, we have , so that .
In particular, if is a Noetherian ring, then every generating set may be “cut down” to one of its finite subsets.