Es sei
eine injektive ganze Funktion.
Dann ist f {\displaystyle {}f} eine affin-lineare Funktion, also von der Form
mit a ≠ 0 {\displaystyle {}a\neq 0} .