Algebraic geometry

• Proof of the Weak Hilbert Nullstellensatz
  Over an algebraically closed field k, every maximal ideal of k[x1,...,xn] is generated by x1-a1,...,xn-an; the proof uses Zariski's lemma.