Numerische Bedingung für endliche Symmetriegruppen
Es sei
eine endliche
Untergruppe
der Ordnung in der Gruppe der eigentlichen,
linearen Isometrien
des . Es seien die verschiedenen
Halbachsenklassen
zu , und zu jeder dieser Klassen sei
, , die Ordnung der Gruppe
, , die nach
Fakt
unabhängig von ist.