I was reading about powerful $p$-groups.
For an odd prime $p$, a finite $p$-group is called powerful if $[G,G] \subseteq G^p$, where $G^p = \langle g^p ~:~ g \in G \rangle$.
and I found here that
"Every finite $p$-group can be expressed as a section of a powerful $p$-group".
I was wondering where can I find a reference for this claim?
Also does "section" means "quotient" here? Sorry if I am missing something.
Thanks in advance.