Local powering-invariant subgroup containing the center is intermediately local powering-invariant in nilpotent group

Statement
Suppose $$G$$ is a uses property satisfaction of::nilpotent group and $$H$$ is a subgroup containing the center of $$G$$ that is also a  uses property satisfaction of::local powering-invariant subgroup of $$G$$. Then, $$H$$ is an proves property satisfaction of::intermediately local powering-invariant subgroup of $$G$$. Explicitly, suppose $$K$$ is a subgroup of $$G$$ containing $$H$$. Then, $$H$$ is a local powering-invariant subgroup of $$K$$.

Related facts

 * Local powering-invariant subgroup containing the center is intermediately powering-invariant in nilpotent group

Facts used

 * 1) Torsion-freeness for a prime is subgroup-closed
 * 2) uses::Equivalence of definitions of nilpotent group that is torsion-free for a set of primes
 * 3) uses::Nilpotency is subgroup-closed

Proof
Given: A nilpotent group $$G$$, a subgroup $$H$$ of $$G$$ that is local powering-invariant and such that $$Z(G) \le H$$ where $$Z(G)$$ is the center of $$G$$. A subgroup $$K$$ of $$G$$ containing $$H$$. A prime number $$p$$ and an element $$h \in H$$ such that there is a unique element $$x \in K$$ satisfying $$x^p = h$$.

To prove: There exists a unique element $$x \in H$$ such that $$x^p = h$$.

Proof: