Ist es richtig zu sagen: kein weiterer Schritt kann B zu einem Beweis machen wenn es nach dem ersten noch keiner ist.