theorem :: MATRIX_9:29

for a being Element of (Group_of_Perm 3) st a = <*2,3,1*> holds
a " = <*3,1,2*>