多変数多項式
代数体の(代数的)整数からなる任意の環はネーターである。