theorem Th27: :: MATRIX11:27

for n being Nat
for tr being Element of Permutations (n + 2) st tr is being_transposition holds
tr is odd