Permutation/Sign via transpositions/Fact/Proof

Proof

This follows from fact and fact.