 proved the theorem (for the special case of polynomial rings over a field) in the course of his proof of finite generation of rings of invariants.Hilbert produced an innovative proof by contradiction using mathematical induction; his method does not give an algorithm to produce the finitely many basis polynomials for a given ideal