Kann man antworten: Alles, was der Beweis des Goldbach'schen Satzes prophezeihen wird, ist, dass dies Resultat richtig sein wird, nicht, dass es herauskommen // sich ergeben // wird. (Aber das erste ‘wird’ ist hier unsinnig, denn die Verben in der Mathematik haben keine Zukunft.)