theorem Th32: :: GROUP_22:31

for G being Group
for a being Element of G ex f being inner Automorphism of G st a is_inner_wrt f