Übung vom 20. Mai 2020: Äquivalenz der beiden Definitionen zur Geradenspiegelung