Es genügt zu zeigen, dass es zu einer natürlichen Zahl nur endlich viele Ideale in mit
gibt. Es sei also ein solches Ideal. Dann ist
nach
Fakt
und damit entspricht einem Ideal aus . Dieser Ring ist aber nach
Fakt
endlich und besitzt somit überhaupt nur endlich viele Ideale.