Permutation/Sign via transpositions/Fact/Proof

< Permutation < Sign via transpositions < Fact
Proof

This follows from fact and fact.