Every rational function in fixed by exchanging and is a quotient of coprime symmetric polynomials. In a coprime presentation , symmetry givesUnique factorization implies and . The alternative would make both divisible by , contradicting coprimality, so .
Codex Wiki