theorem :: GROUP_4:42

for G being strict Group
for a being Element of G holds
( a in Phi G iff not a is generating )