Dieser Übergang wird mit dem fertigen (bewiesenen) Satz a + (b + c) = (a + b) + c || mit dem fertigen distributiven || assoziativen Gesetz || mit dem fertig bewiesenen assoziativen Gesetz gemacht.