fundamental theorem of symmetric polynomials