Inner implies infinity-extensible

Statement
Any inner automorphism of a group is an infinity-extensible automorphism.

Facts used

 * 1) uses::Inner is extensibility-stable: Any inner automorphism of a subgroup can be extended to an inner automorphism of the whole group.

Proof
The proof follows from fact (1), and the fact that inner automorphisms are automorphisms.