Wir könnten ein Beispiel rechnen um uns zu vergewissern daß (a + b)² gleich a² + b² + 2ab & nicht a² + b² + 3ab ist – wenn wir es etwa vergessen hätten; aber wir könnten nicht in diesem Sinn kontrollieren, ob die Formel allgemein gilt. Auch diese Kontrolle gibt es natürlich & ich könnte in der Rechnung (5 + 3)² = ‒ ‒ ‒ = 5² + 2 ∙ 5 ∙ 3 + 3² nachsehen, ob die 2 im zweiten Glied ein allgemeiner Zug der Gleichung ist, oder einer der von den speziellen Zahlen des Beispiels abhängt.