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