theorem Th45: :: GROUP_22:43

for G being Group
for A being non empty Subset of G st ( for phi being Automorphism of G holds phi .: A = A ) holds
gr A is characteristic