Wie geht der Vierstreckensatz?