theorem :: GROUP_3:70

for G being Group
for a being Element of G
for H being strict Subgroup of G st H |^ a = G holds
H = G