Nach
Fakt
wird die -te Vervielfachung durch mit rekursiv definierten rationalen Funktionen
beschrieben. Mit erheblichem Aufwand kann man zeigen, dass der Grad des Zählers von gleich und der Grad des Nenners kleiner ist. Dann kann man mit
Fakt
schließen.