Eigentliche Würfelgruppe/Definition