Gruppenoperation/Klassengleichung/Fakt/Beweis
Beweis
Die Menge ist zerlegt in die Bahnen der Operation, und diese sind entweder einelementig und entsprechen den Fixpunkten, oder mehrelementig, und werden dann rechts mitgezählt.
Die Menge 