Возводя матрицу смежности в степень к, получаем информацию о числе маршрутов длиной к. Заодно получаем и число циклов. Дается доказательство теоремы.