Das was am Beweis durch Recursion auffällt, ist vor allem, dass das nicht herauskommt, was er zu beweisen vorgibt.