
theorem
  for F being Field, n being Element of NAT holds Polynom-Ring (n,F) is
  Noetherian
proof
  let F be Field, n be Element of NAT;
  F is Noetherian by Th33;
  hence thesis by Th32;
end;
