Ist denn das Charakteristische am Beweis nicht, daß das Bewiesene am Ende ohne den Beweis feststeht? (Obwohl der Beweis immer zur Grammatik des Bewiesenen gehört.)