Geodetic topological cycles in locally finite graphs

We prove that the topological cycle space C(G) of a locally finite graph G is generated by its geodetic topological circles. We further show that, although the finite cycles of G generate C(G), its finite geodetic cycles need not generate C(G).
Comment: 17