Остовные деревья с большим количеством висячих вершин: нижние оценки через количество вершин степеней 1, 3 и не менее 4

В работе доказывается, что у связного графа $G$, в котором $t$ вершин степени не менее 4 и $s$ вершин степеней 1 и 3, существует остовное дерево, в котором не менее $\frac13t+\frac14s+\frac32$ висячих вершин. Приводится бесконечная серия примеров графов, доказывающая точность оценки. Библ. – 13 назв.