Consider 𝐂(s) and let g(s)∈𝐂(s). Then the map λ↦g(s) and 1↦1 determines a homomorphism of fields 𝐂(λ)→𝐂(s) via f(λ)↦f(g(s)). Consider a,b,c,b∈𝐂 such that ad-bc≠0, and write
There is an isomorphism of fields 𝐂(λ)→𝐂(s): f(λ)↦f(as+bcs+d) with inverse f(s)↦f(dλ-b-cλ+d). In particular, we can take
Let P(λ)∈𝐂[λ]. Then P(1/(1+s)) gives a stable rational function in s.