¿Existe una prueba fácil de Nullstellensatz que evite las técnicas estándar de normalización de Noether?
Una prueba que conozco prueba primero el Nullstellensatz 'débil' que asegura que los ideales máximos corresponden a puntos (usando la normalización), y luego la versión más fuerte al introducir otra variable y el truco de Rabinovich.
