theorem Th35: :: GROUP_4:35

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