Описание граней в 3-многогранниках без вершин степеней от 4 до 9

В 1940 г. Лебег доказал, что в каждой нормальной плоской карте найдется грань, набор степеней инцидентных вершин которой мажорируется одной из следующих последовательностей: (3, 6,$\infty$), (3, 7, 41), (3, 8, 23), (3, 9, 17), (3, 10, 14), (3, 11, 13), (4, 4, $\infty$), (4, 5, 19), (4, 6, 11), (4, 7, 9), (5, 5, 9), (5, 6, 7), (3, 3, 3, $\infty$), (3, 3, 4, 11), (3, 3, 5, 7), (3, 4, 4, 5), (3, 3, 3, 3, 5). В данной заметке доказывается, что в каждом 3-многограннике, не содержащем вершины степеней от 4 до 9, найдется грань, набор степеней инцидентных вершин которой мажорируется одной из следующих последовательностей: (3, 3, $\infty$), (3, 10, 12), (3, 3, 3, $\infty$), (3, 3, 3, 3, 3), где все параметры точны.