theorem :: GROUP_23:27

for G being Group
for H being strict Subgroup of G holds Image (incl H) = H