for G being addGroup
for H being finite strict Subgroup of G st card H = 1 holds
H = (0). G