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