Local powering-invariant over quotient-local powering-invariant implies local powering-invariant

Statement
Suppose $$G$$ is a group and $$H,K$$ are subgroups of $$G$$ with $$H \le K$$. Suppose $$H$$ is a quotient-local powering-invariant subgroup of $$G$$ and $$K/H$$ is a quotient-local powering-invariant subgroup of the quotient group $$G/H$$. Then, $$K$$ is a quotient-local powering-invariant subgroup of $$G$$.

Similar facts

 * Local powering-invariance is quotient-transitive in nilpotent group
 * Quotient-local powering-invariance is quotient-transitive

Opposite facts

 * Second center not is local powering-invariant in solvable group
 * Local powering-invariance is not quotient-transitive in solvable group

Proof
The proof is straightforward and uses element chasing.