El teorema de la base de Hilbert implica que los ideales en formula_11 siempre se generan finitamente.