Fundamental theorem of symmetric polynomials