Man könnte sagen: was ich von B & i + (k + l) = (i + k) + l sage, bezieht sich auch auf den Fall des Beweises (a + b)² = a² + 2ab + b². Auch hier könnte man vor der letzten Transformation stehen bleiben & sie erst in einer Anwendung auf (i + k)² machen.