定理：令G=（V，E）是一个有向图。G中存在一个独立集S（G），使得G中的每一个节点都可以从S（G）中的某一节点通过一条长度不超过2的路到达。
归纳假设:对任何节点数小于n的有向图成立。
证明过程省略。
