Über Endlichkeitssätze von Polynomfunktionen