theorem Th22: :: MATRIX_7:23

for G being Group
for a being Element of G holds <*a*> " = <*(a ")*>