Ich schaue B zu || an & sage: das ist kein Beweis von A. Nun heißt es: ich werde Dir zeigen, daß es doch ein Beweis ist. Aber wie kann man das zeigen? wenn es nun einmal kein Beweis von A ist. Nun macht er mir die rekursive Verwendung || Anwendung von B vor. Aber was hat das damit zu tun?