Muß also der || ein Beweis nicht vor allem beweisen, daß das Beweisen immer zu diesem Resultat führt? || führen muß?