theorem Th42: :: MATRIX11:42

for n being Nat
for K being commutative Ring
for p2, q2 being Element of Permutations (n + 2) st q2 = p2 " holds
sgn (p2,K) = sgn (q2,K)