for any group G the set In(G) of all inner automorphisms of G is a normal subgroup of Aut(G)

Theorem 15 - part 2
for any group G the set In(G) of all inner automorphisms of G is a normal subgroup of Aut(G) . further In(G) is isomorphic to G/Z(G)