1≦p≦nに対してn次元実ベクトル空間ℝⁿのp重交代積の空間をVₙₚとする
M∈Mₙ(ℝ)が引き起こす写像φᴍ:Vₙₚ→Vₙₚの行列式を対応させる写像Dₙₚを考えればDₙₚはMₙの成分の多項式で書ける写像だから連続
よって今示したい関係式
Dₙₚ(M) = ( det M )^(ₙ₋₁Cₚ₋₁)‥①
は両辺共に連続
よってこの等式がMの稠密部分集合で成立していれば良い
M'ₙ = { M ∈ Mₙ | Mは相異なるn個の固有値を持つ }
とすればM'ₙはMₙで稠密、かつM'ₙで①は成立