Hallo, muss man auf Blatt 9 Aufgabe 1+2 die Behauptung nur für x,y \in N_0 beweisen oder kann x,y \in Z sein? Im Buch werden ja anscheinend nur Funktionen f : N_0^i -> N_0^j betrachtet. Bye, Lutz -- signature intentionally left blank