Wenn der Beweis das Vorgehn nach der Regel registriert, so erzeugt er (dadurch) einen neuen Begriff.