theorem :: GROUP_2:153

for G being finite Group holds index ((1). G) = card G