for G being Group
for A being Subset of G holds gr A = gr (A \ {(1_ G)})