Ihre Bedeutung muß aus ihrem Beweis hervorgehen. Was der Beweis beweist das ist die Bedeutung des Satzes (nicht mehr & nicht weniger).