Aber erst der bewiesene, oder als Postulat angenommene mathematische Satz tut das, nicht der problematische.