for G being Group
for a being Element of G holds ((1). G) |^ a = (1). G