Wenn der Beweis auch nach Regeln fortschreitet, so ist er doch das Paradigma für diese Fortschreitung.