theorem :: GROUP_6:72

for G being Group holds G ./. ((Omega). G) is trivial