Teorema de las bases de Gröbner
Resumen
Por lo tanto lo que se espera de las Bases de Gröbner, es que se cada ideal que se tome
se puede hallar una Base Gröbner ya sea de un dominio entero de una o varias variables
con la restricci´on de que sea un campo; que fue tanto mecánico y engorroso en épocas
pasadas de la historia que fue revolucionando la creación de algoritmos como el último fue
de Buchberger con la optimización del algoritmo.