theorem :: HILBASIS:34

for F being Field
for n being Element of NAT holds Polynom-Ring (n,F) is Noetherian