theorem :: GROUP_2:150

for G being Group holds index ((Omega). G) = 1