Die Gleichheit der Winkel folgt aus dem Gegenwinkelsatz