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