„Die allgemeine Form R braucht man gar nicht im Beweis von A”,
dazu
darauf
ist zu sagen: sie geht mich nichts an, wenn ich nach dem Beweis von A in in der Konstruktion von B suche. Oder: ich sollte sie nicht brauchen. Wenn ich die Form R in B (oder die Beziehung V in A & B) erkenne, so nützt sie mich nichts. Wird sie mir gezeigt (in der Absicht mich auf die Beweisfähigkeit von B für A aufmerksam zu machen), so möchte ich sagen: „nun, & was weiter?”