Euklidische Ebene/Eigentliche Isometrie/Drehung/Fakt/Name

Der Charakterisierungssatz für eigentliche Isometrie in der reellen Ebene.