theorem Th2: :: GR_CY_2:2

for G being Group
for a being Element of G holds a in gr {a}