theorem Th28: :: MATRIX_7:29

for n being Nat
for K being commutative Ring
for p being Element of Permutations n
for x being Element of K st n >= 1 holds
- (x,p) = - (x,(p "))