∈ {1, 2, ..., "n"}。为了明确起见，将formula_7的系数记为formula_8，其中1 ≤ "s","t" ≤ "n" − 1.考虑B的行列式"|B|"中的每个含有formula_9的项，它的形式为： 其中的置换τ ∈"S"使得τ("i") = "j"，而σ ∈ "S"是唯一的将除了"i"以外的其他元素都映射到与τ相同的像上去的置换。显然，每个τ都对应着唯一的σ，每一个σ也对应着唯一的τ。因此我们创建了"S"与{τ ∈ "S" : τ("i") = "j"}之间的一个双射。