Каждый $3$-связный граф на не менее чем $13$ вершинах имеет стягиваемый $5$-вершинный подграф

Подмножество $H$ множества вершин трехсвязного конечного графа $G$ называется стягиваемым, если граф $G(H)$ связен и граф $G-H$ двусвязен. В работе доказано, что трехсвязный граф на не менее чем $13$ вершинах имеет стягиваемое множество из $5$ вершин. При этом существует трёхсвязный граф на $12$ вершинах, в котором нет стягиваемого пятивершинного множества. Библ. – 12 назв.