A ring of polynomials in any number of variables over a ring of coeffcients that has an identity element and a finite basis, itself has a finite basis. Emmy Noether