P-extensible implies inner
Suppose is a prime number and is a p-group, i.e., a group in which the order of every element is a power of . Suppose is an automorphism of such that for any -group containing , there is an automorphism of whose restriction to equals . Then, is an Inner automorphism (?) of .