for G being addGroup holds ord (0_ G) = 1