for G being addGroup holds - ({} the carrier of G) = {}