Auf den ersten Blick scheint es zwei Stadien der Allgemeinheit des Beweises zu geben: Wir könnten zuerst in B statt a & b zwei bestimmte Zahlen setzen 4 & 5 & dann wäre also das Resultat 4 + (5 + n) = (4 + 5) + n. Und nun könnten wir einen weitern Schritt in der Allgemeinheit machen & „allgemeine Zahlen” statt 4 & 5 setzen.