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