试证明一个不是孤立结点的简单有向图是强连通的，当且仅当G中有一个回路，它至少包含每个结点一次。