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

\