theorem ThAlt1: :: GROUP_22:77

for G being Group
for H being Subgroup of G holds
( H is characteristic iff for phi being Homomorphism of G,G st phi is bijective holds
phi .: the carrier of H = the carrier of H )