H ∩ BK ⊆ CK (K), that was used in the proof of this statement in ... and let S2 := S1 ∪ T. Finally let Let H1 := 〈S1〉 and H2 := 〈S2〉.
確定! 回上一頁