theorem :: GROUPP_1:14

for G being Group
for a, b being Element of G
for p being Prime st a |^ b is p -power holds
a is p -power