Symmetric Rational Function Theorem