(Das Ganze ist eine Auseinandersetzung zwischen dem rekursiven & dem algebraischen Element in
den
diesen
Beweisen. [ in dem Beweis. ] )