However, it is also true that the number of closed walks of length formula_86 starting at a fixed vertex formula_27 in a formula_1-regular graph is at least the number of such walks in an infinite formula_1-regular tree, because an infinite formula_1-regular tree can be used to cover the graph.