for F being Field holds F is Noetherian