theorem Th8: :: MATRIX_7:8

for a being Element of (Group_of_Perm 2) st ex q being Element of Permutations 2 st
( q = a & q is being_transposition ) holds
a = <*2,1*>