Der Begriff der Allgemeinheit (& der Rekursion) der in diesen Beweisen gebraucht wird, ist nicht allgemeiner, als er aus diesen Beweisen unmittelbar herauszulesen ist.

\