... HCP CF X k P XPPP cs csP⇒P KX x ∈ K PUxx UxP {Ux: x ∈ K} K{Ux1, Ux2, . . . , Uxn} {Ux: x ∈ K} K ⊂ni=1UxiUxiP i = 1, 2, . . . , n KP P⇒ ⇒ CF CS(1) CF CF,HCF ... 1, 2, . . . , n Fi= K ∩ PiPiP PiX FiX K ∩ ∪F X K ∩ ∪FK P X k P X PPP ⇒PP CF P CF P CF k XP PP XPP CP⇒⇒ P CP Px ∈ X U xP Px= {P ∈ P : x ∈ P } PPxF = P\Pxx /∈ ... kY f(P) YK Y K ¨o Y f ¨oP k X PPP XPPPPPPP⇒ ⇒⇒⇔⇔ k⇒⇒k⇔ kPX CP WHCP HCP HCF CF PP XP kP⇒⇒ P K X UK P= {P ∈ P : P ⊂ U} P x ∈ K P ∈ Px ∈ P ⊂ U P ∈ Px K K ⊂ ∪PPK...