Endliche eigentliche Raumsymmetriegruppe/Situation

Es sei eine endliche Untergruppe der Gruppe der eigentlichen, linearen Isometrien des