Permutation/Sign via transpositions/Fact/Proof
Proof
This follows from
fact
and
fact
.
To fact