Edge-disjoint double rays in infinite graphs: a Halin type result

We show that any graph that contains k edge-disjoint double rays for any k>0 contains also infinitely many edge-disjoint double rays. This was conjectured by Andreae in 1981.Comment: 15 pages, 2 figure