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