Extraspecial implies inner automorphism group is self-centralizing in automorphism group

Statement
The fact about::inner automorphism group of an fact about::extraspecial group is a fact about::self-centralizing subgroup of the whole fact about::automorphism group.

An equivalent fact

 * IA equals inner in extraspecial