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