Danke für Deinen Zuspruch! Nun habe ich es doch schon erledigt und finde, dass es sich als weiteres Beispiel zur Winkelsumme dort ganz gut einpasst. Herzliche Grüße -- Mabit1 14:12, 29. Dez. 2022 (CET)