Lemma Let be a square matrix, then

Proof Let .

Where are the permutations of . If is the identity permutation, we get

for al the remaining permutation, at least one term of the product will be just , making only contributions.