theorem Th4: :: MATRIX_7:4

for p being Permutation of (Seg 2) st p is being_transposition holds
p = <*2,1*>