theorem Th6: :: GROUPP_1:6

for G being Group
for a, b being Element of G holds ord (a |^ b) = ord a