theorem Th1: :: MATRIX_7:1

for f being Permutation of (Seg 2) holds
( f = <*1,2*> or f = <*2,1*> )