请问为什么一个点双连通分量上任意两点一定在一个简单环上，虽然大致感觉是对的，但是想不到足够清晰的证明，求助