WS1 Beweis von 5.6