Ich sage, (a + b)² = etc. ist mit Hilfe von A1, A2, etc., bewiesen, weil die Übergänge von (a + b)² zu a² + 2ab + b² alle von der Form A1, oder A2 etc., sind. In diesem Sinne ist in III auch der Übergang von (b + 1) + a auf (b + a) + 1 nach A1 gemacht, aber nicht der Übergang von a + n auf n + a!