Esto significa que para toda secuencia finita α, ..., α de elementos de "S", no siendo dos idénticas, y todo polinomio distinto de cero "P"("x", ..., "x") con coeficientes en "K", tenemos