Es verhält sich hier zwischen Allgemeinheit und Beweis der Allgemeinheit, wie zwischen Existenz und Existenzbeweis.