for G being Group
for g, h being Element of G st ( h * g = h or g * h = h ) holds
g = 1_ G