theorem Th33: :: HILBASIS:33

for F being Field holds F is Noetherian