theorem Th30: :: GROUP_22:29

for G being Group
for a being Element of G
for f being Endomorphism of G st a is_inner_wrt f holds
f is Automorphism of G