theorem Th10: :: GROUP_5:10

for G being Group
for a being Element of G holds (<*> the carrier of G) |^ a = {}