Kirchhoff’s Matrix–Tree theorem