"cualquier polinomio simétrico en n variables es un polinomio de los n polinomios elementales simétricos en dichas variables".