Finitamente generado.