In Wirklichkeit schafft „der Beweis des Hauptsatzes” eine neue Art Zahlen.