R上有限生成なR[x_1, x_2, ・・・,x_n] がネターなら、Rはネターですか?