Ist so eine Ableitung ein Schlußverfahren? Warum soll man es nicht so nennen?