let G be strict Group; :: thesis: for f being Element of InnAut G holds f is Automorphism of G
let f be Element of InnAut G; :: thesis: f is Automorphism of G
f is Element of Aut G by AUTGROUP:12;
hence f is Automorphism of G by Th26; :: thesis: verum