Hilbert (1890) proved a version of this theorem for polynomial rings, and Burch (1968, p.944) proved a more general version.
Hilbert (1890) bevisade en version av satsen för polynomringar, och Burch (1968, p.944) bevisade en mer allmän version.