theorem Th10: :: MATRIX_7:10

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