theorem Th5: :: GROUPP_1:5

for G being Group
for a being Element of G holds ord (a ") = ord a