for G being strict Group
for h being Homomorphism of G,G holds
( h in Aut G iff h is bijective ) by Def1;