for G being Group holds ord (1_ G) = 1