k(t) fonksiyon alanının k’yı sabit tutan otomorfizmlerinin neden yalnızca lineer kesirli dönüşümler (at+b)/(ct+d) şeklinde olduğu kanıtlanabilir?

Çünkü yalnızca (at+b)/(ct+d) biçimindeki fonksiyonlar tersine de yine aynı türde bir rasyonel fonksiyon vererek bir bileşim tersine çevrilebilir; diğer rasyonel fonksiyonlar genelde denklemin birden çok kökü olduğundan tersleme mümkün olmaz.