Every finite p-group can be expressed as a section of a powerful p-group.
每個有限p-群可以表示為一個powerful p-群的section。