Jede endliche Menge von 30 oder mehr Punkten in der Ebene in allgemeiner Lage enthält ein leeres konvexes Sechseck.