theorem :: GROUP_22:30

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 inner Automorphism of G by Th30, Def2;