Ja, er ist ein Beweis, ein allgemeiner Beweis – oder das (allgemeine) Schema
der Beweise
eines Beweises
für Zahlensätze von der Form a + (b + c) = (a + b) + c