Wie beweist man: 1 + (1 + (1 + 1)) = (1 + (1 + 1 + )) + 1? Kann man es aus 1 + (1 + 1) = (1 + 1) + 1 ˇallein beweisen?