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