Übrigens ist die Rechnung R nur insofern ein allgemeiner Beweis, als sie sich auf allgemeine Regeln stützt, also auf die induktiven Beweise. || also doch auf Induktionen.