452
                    Ich sage, (a + b)² = etc. ist mit Hilfe von A1, A2, etc. bewiesen, weil die Uebergä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 Uebergang von (b + 1) + a auf (b + a) + 1 nach A1 gemacht, aber nicht der Uebergang von a + n auf n + a!


\ 1