Es könnte sein, dass die Methoden, die für den nächsten Schritt erforderlich sind, einfach über die heutige Mathematik hinausgehen. Vielleicht würden die Methoden, die ich brauchte, um den Beweis zu vervollständigen, erst in hundert Jahren erfunden werden.