证明:若G的最小度大于等于2则G包含圈

任取G中一点v0，设v0的一个邻居为v1，v0和v1构成一个链C。
取v1的不在C中的邻居v2。若v2不存在，则C已经变成了圈；若v2存在，则将v2添加到C中。
再取v2的不在C中邻居v3。同样地，若v3不存在，则C包含圈；若v3存在，将v3添加到C中。
重复上述过程，当G的有限的顶点被取完的时候，C必包含圈。