theorem :: GROUP_1:28

for G being Group
for h being Element of G holds h |^ 3 = (h * h) * h