Halin (1964) proves that, if G has infinitely many ends, then either there exists an end that is not free, or there exists an infinite family of rays that share a common starting vertex and are otherwise disjoint from each other.
Халін (1964) доводить, що, якщо G має нескінченно багато кінців, то або існує кінець, який не вільний, або існує нескінченне сімейство променів, які поділяють загальну вихідну вершину, і в іншому випадку не перетинаються один з одним.