Diese interne Allgemeinheit ist auch die beweisbare.