theorem Th33: :: MATRIX_9:33

for n being Nat
for p being Permutation of (Seg n) st p = id (Seg n) holds
not p is being_transposition