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