Untersuchungsergebnis.out Download desC {C[74] Abap[194] [0]}zum Wurzelverzeichnis wechseln
1 subgoal
x : nat
============================
x = S x
1 subgoal
x : nat
============================
0 + x = S x
1 subgoal
x : nat
============================
x = 1 + x
[ zur Elbe Produktseite wechseln0.74Quellennavigators
]
