Доказывать будем методом от противного. Предположим, что мы никогда не дойдём до вершины вершины. Выберем любую вершину данного дерева и начнём по ней двигаться.
Так как в дереве нет циклов, то мы не вернёмся в вершину, в которой уже побывали.
Если у каждой вершины степень больше единицы, то найдется ребро, по которому можно уйти из неё после того, как мы пришли.
Но поскольку количество вершин в дереве конечно, то когда-нибудь мы остановимся в висячей вершине. Получили противоречие. Значит наше предположение неверно, т. е когда-нибудь мы дойдём в висячую вершину. Если же начать идти из неё, то мы найдём вторую висячую вершину. Наше утверждение доказано.