theorem :: GROUP_1:42

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