theorem Th110: :: GROUP_2:110

for G being Group
for a being Element of G holds
( ((1). G) * a = {a} & a * ((1). G) = {a} )