27.
Wenn „den algebraischen Satz mittels der Sätze p, q, r beweisen” heißt, die Übergänge der Gleichungskette den Sätzen p, q, r entsprechend machen, dann ist B kein Beweis von A mittels α, noch ein || der Beweis eines Satzes der mittels A bewiesen ist. Denn den Übergang in A habe ich nicht durch α vermittelt.