theorem Th41: :: GROUP_4:41

for G being strict Group holds the carrier of (Phi G) = { a where a is Element of G : not a is generating }