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