对于S与T,显然， v,eSUT 所以：SUT<n 另一方面：可以证明：S∩T=Φ 否则，设y,∈S∩T 那么，由y∈S有Vy+1∈E(G) 由Y∈T有vny,∈E(G) 5 Vi Vi+l 这样在G中有H圈，与假设矛盾！ 14 对于S与T, 显然， 另一方面：可以证明： n v S T  S T =  所以： S T n  否则，设 i v S T  那么，由 +1 ( ) i i v S v E G   有v1 由 ( ) i i v T v E G   有vn v vn n-1 v1 v2 v3 vi vi+1 P 这样在G中有H圈，与假设矛盾！ 14