Der rekursive Beweis für (a + b)² = a² + 2ab + b² besteht eben in der gewöhnlichen Ableitung der Gleichung plus den rekursiven Beweisen der Grundgesetze.
     D.h., dem Beweis dieser Gleichung mittels der Reihe arithmetischer Beispiele entspricht eben die algebraische Ableitung der Gleichung zusammen mit den Induktionsbeweisen der algebraischen Grundregeln.