Kirchhoff's matrix tree theorem