El teorema de Quillen-Suslin es otro resultado profundo; establece que si "K" es un cuerpo y "R" = "K" ["X"..., "X"] es un anillo de polinomios sobre "K", entonces cada módulo proyectivo sobre "R" es libre.