/  
Und wirklich ich beweise nur aus a + (b + c) = = (a + b) + c, a + (b + (c + 1)) = (a + b) + (c + 1) und das ist nun allerdings für die Anwendung des Satzes von großer Bedeutung. Aber der Beweis umfaßt die Anwendung auch nicht.