О разбиении плоского графа обхвата 5 на пустой и ациклический подграфы

Доказано предположение А. В. Пяткина и М. Штибица о том, что множество вершин любого плоского графа $G$ обхвата не менее 5 можно разбить на два подмножества $V_1$ и $V_2$ такие, что множество $V_1$ является независимым в $G$, а множество $V_2$ порождает лес. Ил. 14, библиогр. 9.