Cited passage: Section9, Theorem9.4, printed pages32–33: deterministic number of wired-forest components and its random-walk characterization. Section4 also gives the weighted transfer-current formula.