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