/  
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!