Rasyonel fonksiyon alanı k(t)’nin k’yı sabit tutan otomorfizmleri neden yalnızca t → (a t + b)/(c t + d) biçimindeki lineer kesirli dönüşümlerle tanımlanır?

Rasyonel fonksiyonları sabit tutan otomorfizmalar, t → (a t + b)/(c t + d) biçimindeki lineer kesirli dönüşümlerle sınırlıdır çünkü yalnızca bu tür fonksiyonlar bileşik tersinirlik koşulunu sağlar ve başka bir rasyonel ifade bu koşulu tek başına karşılamaz.