Proof of the claim : By the definifion of determinant, , where is the set of all permutations of . Considering that , is the number of sets of paths connecting to , that is, a path system, intersecting or not.
: By the definifion of determinant, Todisteeksi: Kautta definifion, tekijä, , Jossa on asetettu kaikkien permutaatioista, . Kun otetaan huomioon, että , on määrä sarjoiksi polut yhdistävät , Se, että polku-järjestelmän, kanssa päällekkäiset tai ei.