Критерий наличия такого цикла, что множество не входящих в него вершин независимо

Наша работа содержит критерий наличия в двусвязном графе такого цикла, что множество не входящих в него вершин независимо, в терминах минимальной степени вершин графа. А именно, если в двусвязном графе $n$ вершин, а минимальная степень вершин графа не менее, чем $\frac{n + 2}{3}$, то в нём существует такой цикл, что множество не входящих в него вершин независимо. Библ. – 4 назв.